Searching in src/util/optional