Some pretty printing of programs