--- /dev/null
+++ b/gb_gates_printf.ch
@@ -0,0 +1,5 @@
+@x l.1112
+    printf(a->tip->name);
+@y
+    printf("%s", a->tip->name);
+@z
