t_15 :: undefined