//#Unsafe
procedure ULTIMATE.start() {
  loop:
  assert false;
  goto loop;
}