4 ms·

That would be a bug in the translation. We'll investigate. Thanks!

• marco2357 11y ago
  Yes indeed. We handled goto into do-while statements wrong. Fixed now. Thanks!