#include <stdint.h>

void panic(uint8_t *message) __attribute__ ((noreturn));
void halt() __attribute__ ((noreturn));