Symbol: puc_print_ports