pretty-print TODO