t_71 :: undefined