added option to use new syntax
input.zks same program but with different syntax