(program 1.0.0
    (con integer 4)
)