(program
  1.0.0
  [ (builtin decodeUtf8) [ (builtin encodeUtf8) (con string "hello world") ] ]
)