proc nonrec main() void: int a, b; write("Please enter two integers: "); read(a, b); if a ", b) fi corp