/sol_pretty_printer/