@expose("read-char", [default(values.W_InputPort, None)], simple=False)
def read_char(w_port, env, cont):
    try:
        return do_read_one(w_port, False, False, env, cont)
    except __HOLE__:
        raise SchemeException("read-char: string is not a well-formed UTF-8 encoding")
dataset/ETHPy150Open samth/pycket/pycket/prims/input_output.py/read_char