diff --git a/basis/compiler/cfg/stacks/padding/padding-docs.factor b/basis/compiler/cfg/stacks/padding/padding-docs.factor
new file mode 100644
index 0000000000..6ea03a7023
--- /dev/null
+++ b/basis/compiler/cfg/stacks/padding/padding-docs.factor
@@ -0,0 +1,9 @@
+USING: assocs compiler.cfg help.markup help.syntax ;
+IN: compiler.cfg.stacks.padding
+
+HELP: initial-state
+{ $description "Initially the stack bottom is at 0 for both the data and retain stacks and no replaces have been registered." } ;
+
+HELP: trace-stack-state2
+{ $values { "cfg" cfg } { "assoc" assoc } }
+{ $description "Outputs an assoc with the instruction numbers as keys and as values two tuples of the data and retain stacks shapes before that instruction. All instructions in the cfg gets numbered as a side-effect." } ;
diff --git a/basis/compiler/cfg/stacks/padding/padding-tests.factor b/basis/compiler/cfg/stacks/padding/padding-tests.factor
index 23721b4a63..b74f07c3f4 100644
--- a/basis/compiler/cfg/stacks/padding/padding-tests.factor
+++ b/basis/compiler/cfg/stacks/padding/padding-tests.factor
@@ -154,6 +154,11 @@ IN: compiler.cfg.stacks.padding.tests
     { { 4 { } } { 0 { } } } T{ ##call-gc } visit-insn
 ] unit-test
 
+
+[
+    { { 2 { -1 0 1 } } { 0 { } } } T{ ##call-gc } visit-insn
+] [ overinitialized-when-gc? ] must-fail-with
+
 ! visit-insn ##peek
 {
     { { 3 { 0 } } { 0 { } } }
@@ -596,16 +601,3 @@ IN: compiler.cfg.stacks.padding.tests
         T{ ##peek { loc R 0 } }
     } following-stack-state
 ] [ vacant-peek? ] must-fail-with
-
-
-
-
-
-
-
-
-
-! ! (scan-c-args) run-test flip
-
-
-! seem good: (gamma-random-float>1)
diff --git a/basis/compiler/cfg/stacks/padding/padding.factor b/basis/compiler/cfg/stacks/padding/padding.factor
index 18f86ce3e4..2ca0b95a32 100644
--- a/basis/compiler/cfg/stacks/padding/padding.factor
+++ b/basis/compiler/cfg/stacks/padding/padding.factor
@@ -8,7 +8,7 @@ sequences ;
 QUALIFIED: sets
 IN: compiler.cfg.stacks.padding
 
-ERROR: overinitialized-when-calling seq ;
+ERROR: overinitialized-when-gc seq ;
 ERROR: vacant-when-calling seq ;
 
 : safe-iota ( n -- seq )
@@ -62,7 +62,7 @@ CONSTANT: initial-state { { 0 { } } { 0 { } } }
 
 : ensure-no-overinitialized ( state -- )
     [ second [ 0 < ] filter ] map dup { { } { } } =
-    [ drop ] [ overinitialized-when-calling ] if ;
+    [ drop ] [ overinitialized-when-gc ] if ;
 
 : fill-vacancies ( state -- state' )
     [ fill-stack ] map ;