// File: /workspace/github_c_makefile_star2_O2/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 0x18a3e(%rip), %rdi     # 0x20996
xorl %eax, %eax
callq 0x5130
leaq 0xd53c(%rip), %rdi      # 0x154a2
xorl %eax, %eax
callq 0x5130
leaq 0x189a0(%rip), %rbx     # 0x20914
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5130
leaq 0xd1d8(%rip), %rdi      # 0x1515d
xorl %eax, %eax
callq 0x5130
leaq 0xd220(%rip), %rdi      # 0x151b3
xorl %eax, %eax
callq 0x5130
leaq 0xd259(%rip), %rdi      # 0x151fa
xorl %eax, %eax
callq 0x5130
leaq 0xd253(%rip), %rdi      # 0x15202
xorl %eax, %eax
callq 0x5130
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5130
leaq 0x14b43(%rip), %rdi     # 0x1cb0a
callq 0x50b0
leaq 0x117b3(%rip), %rdi     # 0x19786
callq 0x50b0
leaq 0x117ec(%rip), %rdi     # 0x197cb
callq 0x50b0
leaq 0x11825(%rip), %rdi     # 0x19810
callq 0x50b0
leaq 0x1185e(%rip), %rdi     # 0x19855
callq 0x50b0
leaq 0x11897(%rip), %rdi     # 0x1989a
callq 0x50b0
leaq 0x118d0(%rip), %rdi     # 0x198df
callq 0x50b0
leaq 0x11909(%rip), %rdi     # 0x19924
callq 0x50b0
leaq 0x11942(%rip), %rdi     # 0x19969
callq 0x50b0
leaq 0x1197b(%rip), %rdi     # 0x199ae
callq 0x50b0
leaq 0x119b4(%rip), %rdi     # 0x199f3
callq 0x50b0
leaq 0x119ed(%rip), %rdi     # 0x19a38
callq 0x50b0
leaq 0x11a26(%rip), %rdi     # 0x19a7d
callq 0x50b0
leaq 0x11a5f(%rip), %rdi     # 0x19ac2
callq 0x50b0
leaq 0x11a98(%rip), %rdi     # 0x19b07
callq 0x50b0
leaq 0x11ad1(%rip), %rdi     # 0x19b4c
callq 0x50b0
leaq 0x11b0a(%rip), %rdi     # 0x19b91
callq 0x50b0
leaq 0x11b43(%rip), %rdi     # 0x19bd6
callq 0x50b0
leaq 0x11b7c(%rip), %rdi     # 0x19c1b
callq 0x50b0
leaq 0x11bb5(%rip), %rdi     # 0x19c60
callq 0x50b0
leaq 0x11bee(%rip), %rdi     # 0x19ca5
callq 0x50b0
leaq 0x11c27(%rip), %rdi     # 0x19cea
callq 0x50b0
leaq 0x11c60(%rip), %rdi     # 0x19d2f
callq 0x50b0
leaq 0x11c99(%rip), %rdi     # 0x19d74
callq 0x50b0
leaq 0x11cd2(%rip), %rdi     # 0x19db9
callq 0x50b0
leaq 0x1521e(%rip), %rdi     # 0x1d311
popq %rbx
jmp 0x50b0