MODULE neo_util

STRING:escape(STRING:src,CHAR:prefix,STRING:string_of_chars)
STIRNG:unescape(STRING:src,CHAR:prefix)

  These functions are extremely fast "generic" character
  escapers. For example, to do HTTP URL escaping you could do:


  fixed_url = escape(my_url,"%"," &=/?")
  if my_url != unescape(fixed_url,"%"):
    raise "this shouldn't happen"

  This can be used in a variety of string escaping situations,
  and we use it because C is fast and Python is slow. 

HDF_DATASET:HDF()

  This function instantiates an HDF_DATASET object.