typedef struct pipe<Impl, Isa> impl file {
    #define PIPESIZE 512
    struct spinlock lock;
    char data[PIPESIZE];
    uint nread;     // number of bytes read
    uint nwrite;    // number of bytes written
    int readopen;   // read fd is still open
    int writeopen;  // write fd is still open
} pipe;