1 2 3 4
#include <stdint.h> void panic(uint8_t *message) __attribute__ ((noreturn)); void halt() __attribute__ ((noreturn));