t_72 :: undefined