A pretty printing system -- Johan