Simple parser for Program.p example