Symbol: interpret_trans2