pseudocode formatting