Modelos de Jeffs: los plumpers dejan que una máquina haga su trabajo de compilación