ExecutionRequestProtocol: very rare loophole in requests map cleanup