WIP on pretty-printing