(program
  1.0.0
  [(force (force (builtin fstPair))) (con (pair integer bytestring) (22, #1122aabb))]
)