Function standard_reentrancy_guard_lock 

fn standard_reentrancy_guard_lock(
    gcx: Gcx<'_>,
    modifier: &Function<'_>,
) -> Option<VariableId>

The lock state variable of a standard reentrancy guard modifier: it rejects re-entry, sets the lock, runs _ exactly once and restores the lock right after.