"reentrant" . . . "reentrant" .