(program 1.0.0
 [
  [
   (builtin writeBits)
   [
    [
     [
      (builtin writeBits)
      (con bytestring #00ff)
     ]
     (con (list integer) [10])
    ]
    (con bool True)
   ]
   (con (list integer) [10])
  ]
  (con bool False)
 ]
)