#include #include int16_t syscall_write(int32_t fd, const void* buffer, int32_t length) { return -1; }