ASSUME
#define ASSUME(cond) if (!(cond)) __unreachable()
#define ASSUME(cond) __builtin_assume(cond)
#define ASSUME(cond) (void)(cond)