t_42 :: undefined