feature: now we keep track of the key being fetched upon the last entry of the critical section.
removed a redundant require() statement.