No longer generates zero bytes in the script's output file.

Author: dtrg

util/opt/pop_push.awk

@@ -15,14 +15,14 @@ BEGIN	{ print "#include \"pop_push.h\""
 END	{ print "};"
 	  print
 	  print "char flow_tab[]= {"
-	  print "'\000',"
+	  print "'\\000',"
 	  for(i=0; i < NR-switch; i++) {
 		inf = col_2[i]
 		f_out = "/* " comment[i] " */ "
 		if (substr(inf,1,1)=="b") f_out = f_out "HASLABEL|"
 		if (substr(inf,2,1)=="c") f_out = f_out "CONDBRA"
 		else if (substr(inf,2,1)=="t") f_out = f_out "JUMP"
-		else f_out = f_out "'\000'"
+		else f_out = f_out "'\\000'"
 		print f_out","
 	  }
 	  print "};"