ecb_unreachable
ecb_inline ecb_noreturn void ecb_unreachable (void);
#define ecb_assume(cond) if (!(cond)) ecb_unreachable (); else 0