match_lock_failed
return_implies_state(lock->function, 0, 0, &match_lock_failed, idx);
return_implies_state(lock->function, -4095, -1, &match_lock_failed, idx);