CEK: pretty-printer