Initial version for pretty print