Symbol: print_ifarg