t_25 :: undefined