dummy implementation of pretty-printer