ecb_unreachable
#define ecb_unreachable() __builtin_unreachable ()
ecb_inline ecb_noreturn void ecb_unreachable (void) { }