t_12 :: undefined