multi_assert
multi_assert((val & mask) == 0, can_assert);
multi_assert(val == 0, can_assert);
multi_assert((val & ~mask) == (mask - 1), can_assert);