diff --git a/vlib/compiler/depgraph.v b/vlib/compiler/depgraph.v
index 59bc3544e1..0d652e8cf7 100644
--- a/vlib/compiler/depgraph.v
+++ b/vlib/compiler/depgraph.v
@@ -14,7 +14,7 @@ mut:
 }
 
 struct DepGraph {
-pub:
+//pub:
 	mut:
 	acyclic bool
 	nodes   []DepGraphNode
diff --git a/vlib/compiler/fn.v b/vlib/compiler/fn.v
index 75c89c02a1..88a4f061a4 100644
--- a/vlib/compiler/fn.v
+++ b/vlib/compiler/fn.v
@@ -14,7 +14,7 @@ const (
 
 pub struct Fn {
 	// addr int
-pub:
+//pub:
 mut:
 	name          string
 	mod           string
diff --git a/vlib/compiler/parser.v b/vlib/compiler/parser.v
index 9fef070d5a..83739b1d2a 100644
--- a/vlib/compiler/parser.v
+++ b/vlib/compiler/parser.v
@@ -20,6 +20,7 @@ struct Parser {
 	file_pcguard   string
 	v              &V
 	pref           &Preferences // Preferences shared from V struct
+	kek string
 mut:
 	scanner        &Scanner
 	tokens         []Token
@@ -75,7 +76,7 @@ mut:
 	sql_types []string // int, string and so on; see sql_params
 	is_vh bool // parsing .vh file (for example `const (a int)` is allowed)
 	generic_dispatch TypeInst
-pub:
+pub mut:
 	mod            string
 }
 
diff --git a/vlib/compiler/struct.v b/vlib/compiler/struct.v
index 2290e0e748..f8cd443b66 100644
--- a/vlib/compiler/struct.v
+++ b/vlib/compiler/struct.v
@@ -109,8 +109,9 @@ fn (p mut Parser) struct_decl() {
 	p.fspace()
 	p.check(.lcbr)
 	// Struct fields
-	mut is_pub_field := false
-	mut is_mut := false
+	mut access_mod := AccessMod.private
+	//mut is_pub_field := false
+	//mut is_mut := false
 	mut names := []string// to avoid dup names TODO alloc perf
 	mut fmt_max_len := 0
 	// TODO why is typ.fields == 0?
@@ -123,45 +124,47 @@ fn (p mut Parser) struct_decl() {
 		}
 	}
 	//println('fmt max len = $max_len nrfields=$typ.fields.len pass=$p.pass')
-
-
 	if !is_ph && p.first_pass() {
 		p.table.register_type(typ)
 		//println('registering 1 nrfields=$typ.fields.len')
 	}
-
 	mut did_gen_something := false
+	mut used := []AccessMod
 	mut i := -1
 	for p.tok != .rcbr {
 		i++
+		mut new_access_mod := access_mod
 		if p.tok == .key_pub {
-			if is_pub_field {
-				p.error('structs can only have one `pub:`, all public fields have to be grouped')
-			}
-			is_pub_field = true
-			p.fmt_dec()
 			p.check(.key_pub)
-			if p.tok != .key_mut {
-				p.check(.colon)
+			if p.tok == .key_mut {
+				new_access_mod = .public_mut
+				p.next() // skip `mut`
+			} else {
+				new_access_mod = .public
 			}
+			if new_access_mod in used {
+				p.error('structs can only have one `pub:`/`pub mut:`, all public fields have to be grouped')
+			}
+			p.fmt_dec()
+			p.check(.colon)
 			p.fmt_inc()
 			p.fgen_nl()
 		}
-		if p.tok == .key_mut {
-			if is_mut {
+		else if p.tok == .key_mut {
+			new_access_mod = .private_mut
+			if new_access_mod in used {
 				p.error('structs can only have one `mut:`, all private mutable fields have to be grouped')
 			}
-			is_mut = true
 			p.fmt_dec()
 			p.check(.key_mut)
-			if p.tok != .key_mut {
-				p.check(.colon)
-			}
+			p.check(.colon)
 			p.fmt_inc()
 			p.fgen_nl()
 		}
-		// if is_pub {
-		// }
+		if new_access_mod != access_mod {
+			used << new_access_mod
+		}
+		access_mod = new_access_mod
 		// (mut) user *User
 		// if p.tok == .plus {
 		// p.next()
@@ -192,7 +195,7 @@ fn (p mut Parser) struct_decl() {
 			continue
 		}
 		// `pub` access mod
-		access_mod := if is_pub_field { AccessMod.public } else { AccessMod.private}
+		//access_mod := if is_pub_field { AccessMod.public } else { AccessMod.private}
 		p.fspace()
 		tt := p.get_type2()
 		field_type := tt.name
@@ -245,8 +248,10 @@ fn (p mut Parser) struct_decl() {
 		}
 
 		did_gen_something = true
+		is_mut := access_mod in [.private_mut, .public_mut]
 		if p.first_pass() {
-			p.table.add_field(typ.name, field_name, field_type, is_mut, attr, access_mod)
+			p.table.add_field(typ.name, field_name, field_type, is_mut,
+				attr, access_mod)
 		}
 		p.fgen_nl() // newline between struct fields
 	}
diff --git a/vlib/compiler/table.v b/vlib/compiler/table.v
index 3c0b838379..36932a9d37 100644
--- a/vlib/compiler/table.v
+++ b/vlib/compiler/table.v
@@ -44,7 +44,16 @@ enum AccessMod {
 	private_mut    // private mutable
 	public         // public immutable (readonly)
 	public_mut     // public, but mutable only in this module
-	public_mut_mut // public and mutable both inside and outside (not recommended to use, that's why it's so verbose)
+	global         // public and mutable both inside and outside (not recommended to use, that's why it's so verbose)
+}
+
+fn (a []AccessMod) contains(b AccessMod) bool {
+	for elm in a {
+		if elm == b {
+			return true
+		}
+	}
+	return false
 }
 
 enum TypeCategory {
@@ -62,8 +71,7 @@ enum TypeCategory {
 }
 
 struct Var {
-pub:
-mut:
+pub mut:
 	typ             string
 	name            string
 	idx             int // index in the local_vars array
@@ -92,8 +100,7 @@ mut:
 }
 
 struct Type {
-pub:
-mut:
+pub mut:
 	mod            string
 	name           string
 	cat            TypeCategory
diff --git a/vlib/strings/builder_c.v b/vlib/strings/builder_c.v
index 5051cc2f08..5356fa05a3 100644
--- a/vlib/strings/builder_c.v
+++ b/vlib/strings/builder_c.v
@@ -7,7 +7,7 @@ module strings
 pub struct Builder {
 mut:
 	buf []byte
-pub:
+pub mut:
 	len int
 	initial_size int = 1
 }