Notes:
This isn't such a hack: the original instruction
really
would be executed twice (or more) in this case.
