(program
  1.0.0
  [(builtin iData) (con integer 1)]
)