SEARCH: suducing compilation