#ifdef BUG
#error Should not happen!
#endif
#define BUG