SEARCH: fart compilation