         Edinburgh IMP77 Compiler - Version 8.4-2024.12.18

     1  %begin
 0000 C8 00 00 01                           ENTER 0000,1
     2    %switch x(1:4)
     3    ->x(3)
 0004 BE 0C 00 00 00                        MOV %ESI,#12
 0009 FF A6 FC FF FF FF                     JMP DWORD PTR [%ESI+SWTAB-4]
     4    x(1):
 000F                      L1001  EQU $
     5    x(2):
 000F                      L1002  EQU $
     6    x(4):
 000F                      L1003  EQU $
     7    printstring("OK");newline
 000F 81 EC 00 01 00 00                     SUB %ESP,#256
 0015 89 E0                                 MOV %EAX,%ESP
 0017 50                                    PUSH %EAX
 0018 B8 10 00 00 00                        MOV %EAX,COT+#16
 001D 50                                    PUSH %EAX
 001E 68 FF 00 00 00                        PUSH #255
 0023 E8 03 00                              CALL '_IMPSTRCPY' (EXTERN 3)
 0026 83 C4 0C                              ADD %ESP,#12
 0029 E8 3B 00                              CALL 'PRINTSTRING' (EXTERN 59)
 002C 81 C4 00 01 00 00                     ADD %ESP,#256
 0032 E8 43 00                              CALL 'NEWLINE' (EXTERN 67)
     8  %endofprogram
 0035 C9                                    LEAVE
 0036 C3                                    RET

     6 Statements compiled



 ELF object file generated from IMP source file: '/home/gtoal/src/compilers101/new-parser/imps/tests/test214.imp'
 +----------+---------------------+---------+---------+---------+------------+
 | Sections |       Symbols       | Code    | Data    | Diag    | Total size |
 +----------+----------+----------+---------+---------+---------+------------+
 |  (count) | Internal | External | (bytes) | (bytes) | (bytes) | (bytes)    |
 +----------+----------+----------+---------+---------+---------+------------+
 |       14 |        6 |        9 |      61 |      36 |      32 |        129 |
 +----------+----------+----------+---------+---------+---------+------------+


