/check/code-gen/

• ../
• assign.p
• assign2.p
• ifs.p
• proc.p
• write.p