@@ -0,0 +1,3 @@
#include <stdint.h>
void init_paging();
The note is not visible to the blocked user.