1: header "#include <cstdio>"; 2: ctypes int, long; 3: proc print:int = 'printf("%d\\n",$1);'; 4: print 1; 5: print 2; 6: