second pseudocode translation, good @2x2