PC2 — the restricted user's identical read after an unrestricted warm-up writes its own slot and carries no denied value.
PC2 — the restricted user's identical read after an unrestricted warm-up writes its own slot and carries no denied value.