t_225 :: undefined