[3-Code generation] Output format

[liqinyang]

Should there be anything to separate two outputs? a space, \t, \n or nothing? For example,

Seq [ 
  Output [ 222 ]
  Output [ 333 ]
]

What should the output look like? 222333 , 222 333 or 222\n333 ?

[ymherklotz]

There should be a \n after the output, which is shown in the example at the very top of the readme.

Output [ x ]

translates to the following in C.

printf("%d\n",x);