t_17 :: undefined