def _dprint(context, symb: Arg): print(symb.to_str(context), file=sys.stderr)
def _write(context, symb: Arg): print(symb.to_str(context))
def _dprint(context, symb: Arg): print(symb.to_str(context), file=sys.stderr)
def _write(context, symb: Arg): print(symb.to_str(context))