"reentrantn\u00ED"@cs .