Symbol: print_one