let empty_entry ename _ =
                  raise (Stream.Error ("entry [" ^ (ename ^ "] is empty")))