notReentrant
P163156
predicate
Indicates that the associated function or operation cannot be safely invoked again (re-entered) before a previous invocation has fully completed.