The key word is "claiming". You could argue that if he had time to discuss wanting to go to the bathroom there, he had time to run to the other side of hte library.

I worked in a library during high school and college that had an identical rule, key and all. I don't think it's uncommon.