debe haber sido previamente compilada y que, en consecuencia, debe estar