Symbol: do_trunc