def coparun(data: bytes) -> int: ...
def read_data_mem(rel_addr: int, length: int) -> bytes: ...