// File: /workspace/github_c_makefile_star2_O2/mmayer[P]pcal/src/encvec.c
// Function: encvec_iso8859_1
void encvec_iso8859_1 (void)
{
   printf("%%\n");
   printf("%% ISO 8859-1 (Latin1) character mappings\n");
   printf("%%\n");
   printf("/alt_mappings [\n");
   printf("                        8#221 /grave          8#222 /acute           8#223 /circumflex\n");
   printf("   8#224 /tilde         8#225 /macron         8#226 /breve           8#227 /dotaccent\n");
   printf("   8#230 /dieresis      8#231 /.notdef        8#232 /ring            8#233 /cedilla\n");
   printf("   8#234 /.notdef       8#235 /hungarumlaut   8#236 /ogonek          8#237 /caron\n");
   printf("   8#240 /space         8#241 /exclamdown     8#242 /cent            8#243 /sterling\n");
   printf("   8#244 /currency      8#245 /yen            8#246 /brokenbar       8#247 /section\n");
   printf("   8#250 /dieresis      8#251 /copyright      8#252 /ordfeminine     8#253 /guillemotleft\n");
   printf("   8#254 /logicalnot    8#255 /hyphen         8#256 /registered      8#257 /macron\n");
   printf("   8#260 /degree        8#261 /plusminus      8#262 /twosuperior     8#263 /threesuperior\n");
   printf("   8#264 /acute         8#265 /mu             8#266 /paragraph       8#267 /periodcentered\n");
   printf("   8#270 /cedilla       8#271 /onesuperior    8#272 /ordmasculine    8#273 /guillemotright\n");
   printf("   8#274 /onequarter    8#275 /onehalf        8#276 /threequarters   8#277 /questiondown\n");
   printf("   8#300 /Agrave        8#301 /Aacute         8#302 /Acircumflex     8#303 /Atilde\n");
   printf("   8#304 /Adieresis     8#305 /Aring          8#306 /AE              8#307 /Ccedilla\n");
   printf("   8#310 /Egrave        8#311 /Eacute         8#312 /Ecircumflex     8#313 /Edieresis\n");
   printf("   8#314 /Igrave        8#315 /Iacute         8#316 /Icircumflex     8#317 /Idieresis\n");
   printf("   8#320 /Eth           8#321 /Ntilde         8#322 /Ograve          8#323 /Oacute\n");
   printf("   8#324 /Ocircumflex   8#325 /Otilde         8#326 /Odieresis       8#327 /multiply\n");
   printf("   8#330 /Oslash        8#331 /Ugrave         8#332 /Uacute          8#333 /Ucircumflex\n");
   printf("   8#334 /Udieresis     8#335 /Yacute         8#336 /Thorn           8#337 /germandbls\n");
   printf("   8#340 /agrave        8#341 /aacute         8#342 /acircumflex     8#343 /atilde\n");
   printf("   8#344 /adieresis     8#345 /aring          8#346 /ae              8#347 /ccedilla\n");
   printf("   8#350 /egrave        8#351 /eacute         8#352 /ecircumflex     8#353 /edieresis\n");
   printf("   8#354 /igrave        8#355 /iacute         8#356 /icircumflex     8#357 /idieresis\n");
   printf("   8#360 /eth           8#361 /ntilde         8#362 /ograve          8#363 /oacute\n");
   printf("   8#364 /ocircumflex   8#365 /otilde         8#366 /odieresis       8#367 /divide\n");
   printf("   8#370 /oslash        8#371 /ugrave         8#372 /uacute          8#373 /ucircumflex\n");
   printf("   8#374 /udieresis     8#375 /yacute         8#376 /thorn           8#377 /ydieresis\n");
   printf("] readonly def\n");

   return;
}

// Assembly:
pushq %rbx
leaq 0x1985a(%rip), %rbx     # 0x20996
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5130
leaq 0xdfba(%rip), %rdi      # 0x15107
xorl %eax, %eax
callq 0x5130
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5130
leaq 0x159a5(%rip), %rdi     # 0x1cb0a
callq 0x50b0
leaq 0xe51b(%rip), %rdi      # 0x1568c
callq 0x50b0
leaq 0xe566(%rip), %rdi      # 0x156e3
callq 0x50b0
leaq 0xe5b0(%rip), %rdi      # 0x15739
callq 0x50b0
leaq 0xe5f8(%rip), %rdi      # 0x1578d
callq 0x50b0
leaq 0xe63e(%rip), %rdi      # 0x157df
callq 0x50b0
leaq 0xe687(%rip), %rdi      # 0x15834
callq 0x50b0
leaq 0xe6cf(%rip), %rdi      # 0x15888
callq 0x50b0
leaq 0xe71d(%rip), %rdi      # 0x158e2
callq 0x50b0
leaq 0xe764(%rip), %rdi      # 0x15935
callq 0x50b0
leaq 0xe7b2(%rip), %rdi      # 0x1598f
callq 0x50b0
leaq 0xe801(%rip), %rdi      # 0x159ea
callq 0x50b0
leaq 0xe850(%rip), %rdi      # 0x15a45
callq 0x50b0
leaq 0xe89d(%rip), %rdi      # 0x15a9e
callq 0x50b0
leaq 0xe8e4(%rip), %rdi      # 0x15af1
callq 0x50b0
leaq 0xe92d(%rip), %rdi      # 0x15b46
callq 0x50b0
leaq 0xe977(%rip), %rdi      # 0x15b9c
callq 0x50b0
leaq 0xe9c1(%rip), %rdi      # 0x15bf2
callq 0x50b0
leaq 0xea08(%rip), %rdi      # 0x15c45
callq 0x50b0
leaq 0xea51(%rip), %rdi      # 0x15c9a
callq 0x50b0
leaq 0xea9d(%rip), %rdi      # 0x15cf2
callq 0x50b0
leaq 0xeae8(%rip), %rdi      # 0x15d49
callq 0x50b0
leaq 0xeb2f(%rip), %rdi      # 0x15d9c
callq 0x50b0
leaq 0xeb78(%rip), %rdi      # 0x15df1
callq 0x50b0
leaq 0xebc2(%rip), %rdi      # 0x15e47
callq 0x50b0
leaq 0xec0c(%rip), %rdi      # 0x15e9d
callq 0x50b0
leaq 0xec53(%rip), %rdi      # 0x15ef0
callq 0x50b0
leaq 0xec9a(%rip), %rdi      # 0x15f43
callq 0x50b0
leaq 0xece6(%rip), %rdi      # 0x15f9b
callq 0x50b0
leaq 0x16050(%rip), %rdi     # 0x1d311
popq %rbx
jmp 0x50b0