Search: Push back compilation