// File: /workspace/github_c_makefile_star2_O3/mmayer[P]pcal/src/encvec.c
// Function: encvec_iso8859_11
void encvec_iso8859_11 (void)
{
   printf("%%\n");
   printf("%% ISO 8859-11 (Thai) 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 /uni0E01   8#242 /uni0E02   8#243 /uni0E03\n");
   printf("   8#244 /uni0E04   8#245 /uni0E05   8#246 /uni0E06   8#247 /uni0E07\n");
   printf("   8#250 /uni0E08   8#251 /uni0E09   8#252 /uni0E0A   8#253 /uni0E0B\n");
   printf("   8#254 /uni0E0C   8#255 /uni0E0D   8#256 /uni0E0E   8#257 /uni0E0F\n");
   printf("   8#260 /uni0E10   8#261 /uni0E11   8#262 /uni0E12   8#263 /uni0E13\n");
   printf("   8#264 /uni0E14   8#265 /uni0E15   8#266 /uni0E16   8#267 /uni0E17\n");
   printf("   8#270 /uni0E18   8#271 /uni0E19   8#272 /uni0E1A   8#273 /uni0E1B\n");
   printf("   8#274 /uni0E1C   8#275 /uni0E1D   8#276 /uni0E1E   8#277 /uni0E1F\n");
   printf("   8#300 /uni0E20   8#301 /uni0E21   8#302 /uni0E22   8#303 /uni0E23\n");
   printf("   8#304 /uni0E24   8#305 /uni0E25   8#306 /uni0E26   8#307 /uni0E27\n");
   printf("   8#310 /uni0E28   8#311 /uni0E29   8#312 /uni0E2A   8#313 /uni0E2B\n");
   printf("   8#314 /uni0E2C   8#315 /uni0E2D   8#316 /uni0E2E   8#317 /uni0E2F\n");
   printf("   8#320 /uni0E30   8#321 /uni0E31   8#322 /uni0E32   8#323 /uni0E33\n");
   printf("   8#324 /uni0E34   8#325 /uni0E35   8#326 /uni0E36   8#327 /uni0E37\n");
   printf("   8#330 /uni0E38   8#331 /uni0E39   8#332 /uni0E3A   8#333 /.notdef\n");
   printf("   8#334 /space     8#335 /.notdef   8#336 /.notdef   8#337 /uni0E3F\n");
   printf("   8#340 /uni0E40   8#341 /uni0E41   8#342 /uni0E42   8#343 /uni0E43\n");
   printf("   8#344 /uni0E44   8#345 /uni0E45   8#346 /uni0E46   8#347 /uni0E47\n");
   printf("   8#350 /uni0E48   8#351 /uni0E49   8#352 /uni0E4A   8#353 /uni0E4B\n");
   printf("   8#354 /uni0E4C   8#355 /uni0E4D   8#356 /uni0E4E   8#357 /uni0E4F\n");
   printf("   8#360 /uni0E50   8#361 /uni0E51   8#362 /uni0E52   8#363 /uni0E53\n");
   printf("   8#364 /uni0E54   8#365 /uni0E55   8#366 /uni0E56   8#367 /uni0E57\n");
   printf("   8#370 /uni0E58   8#371 /uni0E59   8#372 /uni0E5A   8#373 /.notdef\n");
   printf("   8#374 /.notdef   8#375 /.notdef   8#376 /.notdef   8#377 /.notdef\n");
   printf("] readonly def\n");

   return;
}

// Assembly:
pushq %rbx
leaq 0x19e80(%rip), %rdi     # 0x229e6
xorl %eax, %eax
callq 0x5130
leaq 0xe986(%rip), %rdi      # 0x174fa
xorl %eax, %eax
callq 0x5130
leaq 0x19de2(%rip), %rbx     # 0x22964
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5130
leaq 0xe622(%rip), %rdi      # 0x171b5
xorl %eax, %eax
callq 0x5130
leaq 0xe66a(%rip), %rdi      # 0x1720b
xorl %eax, %eax
callq 0x5130
leaq 0xe6a3(%rip), %rdi      # 0x17252
xorl %eax, %eax
callq 0x5130
leaq 0xe69d(%rip), %rdi      # 0x1725a
xorl %eax, %eax
callq 0x5130
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5130
leaq 0x15f8d(%rip), %rdi     # 0x1eb62
callq 0x50b0
leaq 0x12bfd(%rip), %rdi     # 0x1b7de
callq 0x50b0
leaq 0x12c36(%rip), %rdi     # 0x1b823
callq 0x50b0
leaq 0x12c6f(%rip), %rdi     # 0x1b868
callq 0x50b0
leaq 0x12ca8(%rip), %rdi     # 0x1b8ad
callq 0x50b0
leaq 0x12ce1(%rip), %rdi     # 0x1b8f2
callq 0x50b0
leaq 0x12d1a(%rip), %rdi     # 0x1b937
callq 0x50b0
leaq 0x12d53(%rip), %rdi     # 0x1b97c
callq 0x50b0
leaq 0x12d8c(%rip), %rdi     # 0x1b9c1
callq 0x50b0
leaq 0x12dc5(%rip), %rdi     # 0x1ba06
callq 0x50b0
leaq 0x12dfe(%rip), %rdi     # 0x1ba4b
callq 0x50b0
leaq 0x12e37(%rip), %rdi     # 0x1ba90
callq 0x50b0
leaq 0x12e70(%rip), %rdi     # 0x1bad5
callq 0x50b0
leaq 0x12ea9(%rip), %rdi     # 0x1bb1a
callq 0x50b0
leaq 0x12ee2(%rip), %rdi     # 0x1bb5f
callq 0x50b0
leaq 0x12f1b(%rip), %rdi     # 0x1bba4
callq 0x50b0
leaq 0x12f54(%rip), %rdi     # 0x1bbe9
callq 0x50b0
leaq 0x12f8d(%rip), %rdi     # 0x1bc2e
callq 0x50b0
leaq 0x12fc6(%rip), %rdi     # 0x1bc73
callq 0x50b0
leaq 0x12fff(%rip), %rdi     # 0x1bcb8
callq 0x50b0
leaq 0x13038(%rip), %rdi     # 0x1bcfd
callq 0x50b0
leaq 0x13071(%rip), %rdi     # 0x1bd42
callq 0x50b0
leaq 0x130aa(%rip), %rdi     # 0x1bd87
callq 0x50b0
leaq 0x130e3(%rip), %rdi     # 0x1bdcc
callq 0x50b0
leaq 0x1311c(%rip), %rdi     # 0x1be11
callq 0x50b0
leaq 0x16668(%rip), %rdi     # 0x1f369
popq %rbx
jmp 0x50b0