non-reentrant type