endif(enable_model-checking AND HAVE_MMAP)
#--------------------------------------------------------------------------------------------------
endif(enable_model-checking AND HAVE_MMAP)
#--------------------------------------------------------------------------------------------------