RSB_RECOVER_GRANT
int recover = rsb_flag(r, RSB_RECOVER_GRANT);
rsb_set_flag(r, RSB_RECOVER_GRANT);
if (!rsb_flag(r, RSB_RECOVER_GRANT))
rsb_clear_flag(r, RSB_RECOVER_GRANT);
rsb_clear_flag(r, RSB_RECOVER_GRANT);
rsb_set_flag(r, RSB_RECOVER_GRANT);
rsb_set_flag(r, RSB_RECOVER_GRANT);