extern void close(int fd);
extern uint64_t read(int fd, uint64_t length, void *buffer);
extern uint64_t write(int fd, uint64_t length, void *buffer);
extern void close(int fd);
extern uint64_t read(int fd, uint64_t length, void *buffer);
extern uint64_t write(int fd, uint64_t length, void *buffer);