Right of the prosecution to appeal and the double jeopardy rule