Searching in test/tint/ptr_ref/store