CLRS style pseudocode that compiles!