@@ -3,7 +3,8 @@
void exit(int8_t status);
#define STDIO 1
#define STDIN 0
#define STDOUT 1
#define STDERR 2
intptr_t write(int32_t fd, const void* buf, intptr_t size);
intptr_t read(int32_t fd, const void* buf, intptr_t size);
The note is not visible to the blocked user.