#ifndef FW_H
#define FW_H

#include <stddef.h>
#include <stdint.h>

extern void __attribute__((noreturn)) _die(void);

#endif /* FW_H */