import CProgram

precondition(callMe() == 4)
precondition(callMe2() == 6)