SEARCH: hairy compilation