#include <perms.h>

//          Edinburgh IMP77 Compiler - Version 8.4
//
//     1  %begin

int main(int argc, char **argv) { /*%begin*/
  _imp_initialise(argc, argv);

  //     2    %switch swlab(0:5)

  int SWLAB_index;
  int SWLAB_line;
  char *SWLAB_file;
  static const void *SWLAB[6] = {&&case_SWLAB_missing, &&case_SWLAB_missing, &&case_SWLAB_missing,
                                 &&case_SWLAB_missing, &&case_SWLAB_4,       &&case_SWLAB_missing};

  //     3    %integer i

  int I;

  //     4    ->swlab(i)

  SWLAB_line = __LINE__;
  SWLAB_file = __FILE__;
  SWLAB_index = I;
  goto case_SWLAB_dispatch;

  //     5  swlab(4): ! hello

case_SWLAB_4:;

//     6  %endofprogram

  _imp_stop(0);
  return 0;

case_SWLAB_dispatch:
  if (SWLAB_index < 0 || SWLAB_index > 5)
    _imp_signalf(6, 3, SWLAB_index, "->SWLAB(%d) out of bounds at %s line %d", SWLAB_index, SWLAB_file, SWLAB_line);
  goto *SWLAB[SWLAB_index - 0];

case_SWLAB_missing:
  _imp_signalf(8, 2, SWLAB_index, "switch jump to undefined label SWLAB(%d): at %s line %d", SWLAB_index, SWLAB_file,
               SWLAB_line);
end_0:;
}