let mem_assq = `Use_sub_module