A pseudocode interpreter