t_138 :: undefined