Assertion: pause | /r/HasProperty | called at the time
Facets:
Source sentences:
text: This is a problem if the thread allocates some resources (like memory, file descriptors, semaphores or whatever) at the time pause is called.