/* option `LOCKDEBUG' not defined */