A pseudo-code interpreter