Searching in test/spec/memory64