# CONFIG_REISERFS_CHECK is not set