pseudocode examples should now build

Signed-off-by: Adam McNicol <adam@mcnicol.me>