diff --git a/examples/tty-05-dictionary/src/main.rs b/examples/tty-05-dictionary/src/main.rs
index c3e43b3..86e8db7 100644
--- a/examples/tty-05-dictionary/src/main.rs
+++ b/examples/tty-05-dictionary/src/main.rs
@@ -54,26 +54,26 @@ async fn main() {
     dict.write().unwrap().insert( "Drop".into(), 9 );
     dict.write().unwrap().insert( "Swap".into(), 10 );
     dict.write().unwrap().insert( "Rot".into(), 11 );
-    dict.write().unwrap().insert( "Fetch".into(), 13 );
-    dict.write().unwrap().insert( "Store".into(), 14 );
-    dict.write().unwrap().insert( "Accept".into(), 15 );
-    dict.write().unwrap().insert( "Emit".into(), 16 );
-    dict.write().unwrap().insert( "IntAdd".into(), 17 );
-    dict.write().unwrap().insert( "IntSub".into(), 18 );
-    dict.write().unwrap().insert( "IntMul".into(), 19 );
-    dict.write().unwrap().insert( "IntDiv".into(), 20 );
-    dict.write().unwrap().insert( "IntRem".into(), 21 );
-    dict.write().unwrap().insert( "FltAdd".into(), 22 );
-    dict.write().unwrap().insert( "FltSub".into(), 23 );
-    dict.write().unwrap().insert( "FltMul".into(), 24 );
-    dict.write().unwrap().insert( "FltDiv".into(), 25 );
-    dict.write().unwrap().insert( "FltRem".into(), 26 );
-    dict.write().unwrap().insert( "BitNeg".into(), 28 );
-    dict.write().unwrap().insert( "BitAnd".into(), 29 );
-    dict.write().unwrap().insert( "BitOr".into(), 30 );
-    dict.write().unwrap().insert( "BitXor".into(), 31 );
-    dict.write().unwrap().insert( "BitShl".into(), 32 );
-    dict.write().unwrap().insert( "BitShr".into(), 33 );
+    dict.write().unwrap().insert( "Fetch".into(), 12 );
+    dict.write().unwrap().insert( "Store".into(), 13 );
+    dict.write().unwrap().insert( "Accept".into(), 14 );
+    dict.write().unwrap().insert( "Emit".into(), 15 );
+    dict.write().unwrap().insert( "IntAdd".into(), 16 );
+    dict.write().unwrap().insert( "IntSub".into(), 17 );
+    dict.write().unwrap().insert( "IntMul".into(), 18 );
+    dict.write().unwrap().insert( "IntDiv".into(), 19 );
+    dict.write().unwrap().insert( "IntRem".into(), 20 );
+    dict.write().unwrap().insert( "FltAdd".into(), 21 );
+    dict.write().unwrap().insert( "FltSub".into(), 22 );
+    dict.write().unwrap().insert( "FltMul".into(), 23 );
+    dict.write().unwrap().insert( "FltDiv".into(), 24 );
+    dict.write().unwrap().insert( "FltRem".into(), 25 );
+    dict.write().unwrap().insert( "BitNeg".into(), 26 );
+    dict.write().unwrap().insert( "BitAnd".into(), 27 );
+    dict.write().unwrap().insert( "BitOr".into(), 28 );
+    dict.write().unwrap().insert( "BitXor".into(), 29 );
+    dict.write().unwrap().insert( "BitShl".into(), 30 );
+    dict.write().unwrap().insert( "BitShr".into(), 31 );
 
     let symbol_morph_str_to_u64 = nested::repr_tree::GenericReprTreeMorphism::new(
         Context::parse(&ctx, "Instruction ~ Mnemonic ~ <Seq~List~Vec Char>"),