Module Core_kernel__Import.Test_binary_searchable