Searching in test/tint/reader/ptr_ref/store