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