#include "../context.h";
#interface "SysRead.h";

// ----
// typedef struct PipeRead<Type, Isa> impl SysRead {
//   struct CbCPipe *pipe;
//   struct String *addr;
//   struct Integer* i;
// } PipeRead;
// ----

SysRead* createPipeRead(struct Context* cbc_context) {
    struct SysRead* sys_read  = new SysRead();
    struct PipeRead* pipe_read = new PipeRead();
    sys_read->sys_read = (union Data*)pipe_read;
    pipe_read->num = NULL;
    sys_read->read = C_readPipeRead;
    sys_read->ret = C_retPipeRead;
    sys_read->next = C_nextPipeRead;
    return sys_read;
}
__code readPipeRead(__code next(...)) {

  goto next(...);
}

__code retPipeRead(PipeRead* cbc_sys_file, UInteger* num) {

}

__code nextPipeRead(...) {

}