SEARCH: sloppy pregnant compilation