program init1
integer x = 1
end
