let isempty_stream ( stream : initstream ) = 
  match stream.ist_dat with
    [] -> true
  | _ -> false