// File: /workspace/github_c_makefile_star2_O1/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 0x193a8(%rip), %rdi     # 0x21976
xorl %eax, %eax
callq 0x5130
leaq 0xdec6(%rip), %rdi      # 0x164a2
xorl %eax, %eax
callq 0x5130
leaq 0x1930a(%rip), %rbx     # 0x218f4
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5130
leaq 0xdb62(%rip), %rdi      # 0x1615d
xorl %eax, %eax
callq 0x5130
leaq 0xdbaa(%rip), %rdi      # 0x161b3
xorl %eax, %eax
callq 0x5130
leaq 0xdbe3(%rip), %rdi      # 0x161fa
xorl %eax, %eax
callq 0x5130
leaq 0xdbdd(%rip), %rdi      # 0x16202
xorl %eax, %eax
callq 0x5130
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5130
leaq 0x154cd(%rip), %rdi     # 0x1db0a
callq 0x50b0
leaq 0x1213d(%rip), %rdi     # 0x1a786
callq 0x50b0
leaq 0x12176(%rip), %rdi     # 0x1a7cb
callq 0x50b0
leaq 0x121af(%rip), %rdi     # 0x1a810
callq 0x50b0
leaq 0x121e8(%rip), %rdi     # 0x1a855
callq 0x50b0
leaq 0x12221(%rip), %rdi     # 0x1a89a
callq 0x50b0
leaq 0x1225a(%rip), %rdi     # 0x1a8df
callq 0x50b0
leaq 0x12293(%rip), %rdi     # 0x1a924
callq 0x50b0
leaq 0x122cc(%rip), %rdi     # 0x1a969
callq 0x50b0
leaq 0x12305(%rip), %rdi     # 0x1a9ae
callq 0x50b0
leaq 0x1233e(%rip), %rdi     # 0x1a9f3
callq 0x50b0
leaq 0x12377(%rip), %rdi     # 0x1aa38
callq 0x50b0
leaq 0x123b0(%rip), %rdi     # 0x1aa7d
callq 0x50b0
leaq 0x123e9(%rip), %rdi     # 0x1aac2
callq 0x50b0
leaq 0x12422(%rip), %rdi     # 0x1ab07
callq 0x50b0
leaq 0x1245b(%rip), %rdi     # 0x1ab4c
callq 0x50b0
leaq 0x12494(%rip), %rdi     # 0x1ab91
callq 0x50b0
leaq 0x124cd(%rip), %rdi     # 0x1abd6
callq 0x50b0
leaq 0x12506(%rip), %rdi     # 0x1ac1b
callq 0x50b0
leaq 0x1253f(%rip), %rdi     # 0x1ac60
callq 0x50b0
leaq 0x12578(%rip), %rdi     # 0x1aca5
callq 0x50b0
leaq 0x125b1(%rip), %rdi     # 0x1acea
callq 0x50b0
leaq 0x125ea(%rip), %rdi     # 0x1ad2f
callq 0x50b0
leaq 0x12623(%rip), %rdi     # 0x1ad74
callq 0x50b0
leaq 0x1265c(%rip), %rdi     # 0x1adb9
callq 0x50b0
leaq 0x15ba8(%rip), %rdi     # 0x1e311
popq %rbx
jmp 0x50b0