#ifndef FW_H #define FW_H #include <stddef.h> #include <stdint.h> extern void __attribute__((noreturn)) _die(void); #endif /* FW_H */
