Searching in test/pico_sem_test