// File: /workspace/github_c_makefile_star2_O3/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 0x1ac9e(%rip), %rbx     # 0x229e6
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5130
leaq 0xf406(%rip), %rdi      # 0x1715f
xorl %eax, %eax
callq 0x5130
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5130
leaq 0x16df1(%rip), %rdi     # 0x1eb62
callq 0x50b0
leaq 0xf967(%rip), %rdi      # 0x176e4
callq 0x50b0
leaq 0xf9b2(%rip), %rdi      # 0x1773b
callq 0x50b0
leaq 0xf9fc(%rip), %rdi      # 0x17791
callq 0x50b0
leaq 0xfa44(%rip), %rdi      # 0x177e5
callq 0x50b0
leaq 0xfa8a(%rip), %rdi      # 0x17837
callq 0x50b0
leaq 0xfad3(%rip), %rdi      # 0x1788c
callq 0x50b0
leaq 0xfb1b(%rip), %rdi      # 0x178e0
callq 0x50b0
leaq 0xfb69(%rip), %rdi      # 0x1793a
callq 0x50b0
leaq 0xfbb0(%rip), %rdi      # 0x1798d
callq 0x50b0
leaq 0xfbfe(%rip), %rdi      # 0x179e7
callq 0x50b0
leaq 0xfc4d(%rip), %rdi      # 0x17a42
callq 0x50b0
leaq 0xfc9c(%rip), %rdi      # 0x17a9d
callq 0x50b0
leaq 0xfce9(%rip), %rdi      # 0x17af6
callq 0x50b0
leaq 0xfd30(%rip), %rdi      # 0x17b49
callq 0x50b0
leaq 0xfd79(%rip), %rdi      # 0x17b9e
callq 0x50b0
leaq 0xfdc3(%rip), %rdi      # 0x17bf4
callq 0x50b0
leaq 0xfe0d(%rip), %rdi      # 0x17c4a
callq 0x50b0
leaq 0xfe54(%rip), %rdi      # 0x17c9d
callq 0x50b0
leaq 0xfe9d(%rip), %rdi      # 0x17cf2
callq 0x50b0
leaq 0xfee9(%rip), %rdi      # 0x17d4a
callq 0x50b0
leaq 0xff34(%rip), %rdi      # 0x17da1
callq 0x50b0
leaq 0xff7b(%rip), %rdi      # 0x17df4
callq 0x50b0
leaq 0xffc4(%rip), %rdi      # 0x17e49
callq 0x50b0
leaq 0x1000e(%rip), %rdi     # 0x17e9f
callq 0x50b0
leaq 0x10058(%rip), %rdi     # 0x17ef5
callq 0x50b0
leaq 0x1009f(%rip), %rdi     # 0x17f48
callq 0x50b0
leaq 0x100e6(%rip), %rdi     # 0x17f9b
callq 0x50b0
leaq 0x10132(%rip), %rdi     # 0x17ff3
callq 0x50b0
leaq 0x1749c(%rip), %rdi     # 0x1f369
popq %rbx
jmp 0x50b0