SEARCH: stretched compilation