Symbol: print_if