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