@@ -0,0 +1,5 @@
#pragma once
#include "common.h"
__attribute__((noreturn)) void exit(void);
void putchar(char ch);
The note is not visible to the blocked user.