helper: print_func: pretty-print