swap = map (a, b) -> (int, int) [ return (b,a); ]

program = map () -> bool [
	(i, j) := swap (1, 2);
	write_int (i);
	write_int (j);
]