Searching in src/lib/ubsan-custom