def new_str(*args):
  return _RecorderLib.new_str(*args)
def new_str(nelements):
    return _RecorderLib.new_str(nelements)
def new_str(nelements):
    return _RecorderLib.new_str(nelements)