Searching in test/pico_divider_test