The citations in the brief of the learned counsel for the Government seem to establish that, under the Spanish law, as theretofore administered, one who had been convicted by a judgment of the court of last resort could not again be prosecuted for the same offense. We notice some of these provisions: