When one is reprosecuted after acquittal or conviction, or subjected to separate punishments for the same offense, this is known as