SEARCH: bit tits compilation