t_80 :: undefined