An executable pseudocode!