// File: /workspace/github_c_makefile_star2_O3/mmayer[P]pcal/src/encvec.c
// Function: encvec_iso8859_7
void encvec_iso8859_7 (void)
{
   printf("%%\n");
   printf("%% ISO 8859-7 (Greek) character mappings\n");
   printf("%% \n");
   printf("%% This PostScript encoding vector was derived from the information at the following\n");
   printf("%% website (circa Jan 2005), which covers several character mappings:\n");
   printf("%%    \n");
   printf("%%    http://bibliofile.mc.duke.edu/gww/fonts/postscript-utilities/encoding-vectors.html\n");
   printf("%% \n");
   printf("/alt_mappings [\n");
   printf("   8#240 /uni00A0                8#241 /afii64937       8#242 /afii57929      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 /uni00AD         8#256 /registered     8#257 /afii00208\n");
   printf("   8#260 /degree                 8#261 /plusminus       8#262 /twosuperior    8#263 /threesuperior\n");
   printf("   8#264 /tonos                  8#265 /dieresistonos   8#266 /Alphatonos     8#267 /periodcentered\n");
   printf("   8#270 /Epsilontonos           8#271 /Etatonos        8#272 /Iotatonos      8#273 /guillemotright\n");
   printf("   8#274 /Omicrontonos           8#275 /onehalf         8#276 /Upsilontonos   8#277 /Omegatonos\n");
   printf("   8#300 /iotadieresistonos      8#301 /Alpha           8#302 /Beta           8#303 /Gamma\n");
   printf("   8#304 /uni0394                8#305 /Epsilon         8#306 /Zeta           8#307 /Eta\n");
   printf("   8#310 /Theta                  8#311 /Iota            8#312 /Kappa          8#313 /Lambda\n");
   printf("   8#314 /Mu                     8#315 /Nu              8#316 /Xi             8#317 /Omicron\n");
   printf("   8#320 /Pi                     8#321 /Rho             8#322 /Ograve         8#323 /Sigma\n");
   printf("   8#324 /Tau                    8#325 /Upsilon         8#326 /Phi            8#327 /Chi\n");
   printf("   8#330 /Psi                    8#331 /uni03A9         8#332 /Iotadieresis   8#333 /Upsilondieresis\n");
   printf("   8#334 /alphatonos             8#335 /epsilontonos    8#336 /etatonos       8#337 /iotatonos\n");
   printf("   8#340 /upsilondieresistonos   8#341 /alpha           8#342 /beta           8#343 /gamma\n");
   printf("   8#344 /delta                  8#345 /epsilon         8#346 /zeta           8#347 /eta\n");
   printf("   8#350 /theta                  8#351 /iota            8#352 /kappa          8#353 /lambda\n");
   printf("   8#354 /uni03BC                8#355 /nu              8#356 /xi             8#357 /omicron\n");
   printf("   8#360 /pi                     8#361 /rho             8#362 /sigma1         8#363 /sigma\n");
   printf("   8#364 /tau                    8#365 /upsilon         8#366 /phi            8#367 /chi\n");
   printf("   8#370 /psi                    8#371 /omega           8#372 /iotadieresis   8#373 /upsilondieresis\n");
   printf("   8#374 /omicrontonos           8#375 /upsilontonos    8#376 /omegatonos     8#377 /ydieresis\n");
   printf("] readonly def\n");

   return;
}

// Assembly:
pushq %rbx
leaq 0x1a3ec(%rip), %rdi     # 0x229e6
xorl %eax, %eax
callq 0x5130
leaq 0xee3d(%rip), %rdi      # 0x17445
xorl %eax, %eax
callq 0x5130
leaq 0x1a34e(%rip), %rbx     # 0x22964
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5130
leaq 0xeb8e(%rip), %rdi      # 0x171b5
xorl %eax, %eax
callq 0x5130
leaq 0xebd6(%rip), %rdi      # 0x1720b
xorl %eax, %eax
callq 0x5130
leaq 0xec0f(%rip), %rdi      # 0x17252
xorl %eax, %eax
callq 0x5130
leaq 0xec09(%rip), %rdi      # 0x1725a
xorl %eax, %eax
callq 0x5130
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5130
leaq 0x164f9(%rip), %rdi     # 0x1eb62
callq 0x50b0
leaq 0x118a8(%rip), %rdi     # 0x19f1d
callq 0x50b0
leaq 0x118fa(%rip), %rdi     # 0x19f7b
callq 0x50b0
leaq 0x1194b(%rip), %rdi     # 0x19fd8
callq 0x50b0
leaq 0x119a2(%rip), %rdi     # 0x1a03b
callq 0x50b0
leaq 0x119f5(%rip), %rdi     # 0x1a09a
callq 0x50b0
leaq 0x11a4c(%rip), %rdi     # 0x1a0fd
callq 0x50b0
leaq 0x11aa4(%rip), %rdi     # 0x1a161
callq 0x50b0
leaq 0x11afc(%rip), %rdi     # 0x1a1c5
callq 0x50b0
leaq 0x11b50(%rip), %rdi     # 0x1a225
callq 0x50b0
leaq 0x11b9f(%rip), %rdi     # 0x1a280
callq 0x50b0
leaq 0x11bec(%rip), %rdi     # 0x1a2d9
callq 0x50b0
leaq 0x11c3c(%rip), %rdi     # 0x1a335
callq 0x50b0
leaq 0x11c8d(%rip), %rdi     # 0x1a392
callq 0x50b0
leaq 0x11cdc(%rip), %rdi     # 0x1a3ed
callq 0x50b0
leaq 0x11d29(%rip), %rdi     # 0x1a446
callq 0x50b0
leaq 0x11d82(%rip), %rdi     # 0x1a4ab
callq 0x50b0
leaq 0x11dd5(%rip), %rdi     # 0x1a50a
callq 0x50b0
leaq 0x11e24(%rip), %rdi     # 0x1a565
callq 0x50b0
leaq 0x11e71(%rip), %rdi     # 0x1a5be
callq 0x50b0
leaq 0x11ec1(%rip), %rdi     # 0x1a61a
callq 0x50b0
leaq 0x11f12(%rip), %rdi     # 0x1a677
callq 0x50b0
leaq 0x11f61(%rip), %rdi     # 0x1a6d2
callq 0x50b0
leaq 0x11fae(%rip), %rdi     # 0x1a72b
callq 0x50b0
leaq 0x12007(%rip), %rdi     # 0x1a790
callq 0x50b0
leaq 0x16bd4(%rip), %rdi     # 0x1f369
popq %rbx
jmp 0x50b0