t_73 :: undefined