brand_assert
brand_assert(code < NSYSCALL);
brand_assert(BIT_ONLYONESET(est->st_args & RV_MASK));
brand_assert(rev >= 10);
brand_assert(err != 0);
brand_assert(err != 0);
brand_assert(err != 0);
brand_assert(rev >= 11);
brand_assert(err == 0);