// File: /workspace/github_c_makefile_star2_O3/mmayer[P]pcal/src/encvec.c
// Function: encvec_roman8
void encvec_roman8 (void)
{
   printf("%%\n");
   printf("%% Roman8 character mappings\n");
   printf("%%\n");
   printf("/alt_mappings [\n");
   printf("                        8#241 /Agrave           8#242 /Acircumflex    8#243 /Egrave\n");
   printf("   8#244 /Ecircumflex   8#245 /Edieresis        8#246 /Icircumflex    8#247 /Idieresis\n");
   printf("   8#250 /acute         8#251 /grave            8#252 /circumflex     8#253 /dieresis\n");
   printf("   8#254 /tilde         8#255 /Ugrave           8#256 /Ucircumflex    8#257 /sterling\n");
   printf("   8#260 /macron        8#261 /Yacute           8#262 /yacute         8#263 /degree\n");
   printf("   8#264 /Ccedilla      8#265 /ccedilla         8#266 /Ntilde         8#267 /ntilde\n");
   printf("   8#270 /exclamdown    8#271 /questiondown     8#272 /currency       8#273 /sterling\n");
   printf("   8#274 /yen           8#275 /section          8#276 /florin         8#277 /cent\n");
   printf("   8#300 /acircumflex   8#301 /ecircumflex      8#302 /ocircumflex    8#303 /ucircumflex\n");
   printf("   8#304 /aacute        8#305 /eacute           8#306 /oacute         8#307 /uacute\n");
   printf("   8#310 /agrave        8#311 /egrave           8#312 /ograve         8#313 /ugrave\n");
   printf("   8#314 /adieresis     8#315 /edieresis        8#316 /odieresis      8#317 /udieresis\n");
   printf("   8#320 /Aring         8#321 /icircumflex      8#322 /Oslash         8#323 /AE\n");
   printf("   8#324 /aring         8#325 /iacute           8#326 /oslash         8#327 /ae\n");
   printf("   8#330 /Adieresis     8#331 /igrave           8#332 /Odieresis      8#333 /Udieresis\n");
   printf("   8#334 /Eacute        8#335 /idieresis        8#336 /germandbls     8#337 /Ocircumflex\n");
   printf("   8#340 /Aacute        8#341 /Atilde           8#342 /atilde         8#343 /Eth\n");
   printf("   8#344 /eth           8#345 /Iacute           8#346 /Igrave         8#347 /Oacute\n");
   printf("   8#350 /Ograve        8#351 /Otilde           8#352 /otilde         8#353 /Scaron\n");
   printf("   8#354 /scaron        8#355 /Uacute           8#356 /Ydieresis      8#357 /ydieresis\n");
   printf("   8#360 /thorn         8#361 /Thorn            8#362 /dotaccent      8#363 /mu\n");
   printf("   8#364 /paragraph     8#365 /threequarters    8#366 /hyphen         8#367 /onequarter\n");
   printf("   8#370 /onehalf       8#371 /ordfeminine      8#372 /ordmasculine   8#373 /guillemotleft\n");
   printf("   8#374 /bullet        8#375 /guillemotright   8#376 /plusminus      8#377 /.notdef\n");
   printf("] readonly def\n");

   return;
}

// Assembly:
pushq %rbx
leaq 0x19375(%rip), %rbx     # 0x229e6
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5130
leaq 0xe044(%rip), %rdi      # 0x176c6
xorl %eax, %eax
callq 0x5130
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5130
leaq 0x154c8(%rip), %rdi     # 0x1eb62
callq 0x50b0
leaq 0x154cc(%rip), %rdi     # 0x1eb72
callq 0x50b0
leaq 0x15514(%rip), %rdi     # 0x1ebc6
callq 0x50b0
leaq 0x1555f(%rip), %rdi     # 0x1ec1d
callq 0x50b0
leaq 0x155a9(%rip), %rdi     # 0x1ec73
callq 0x50b0
leaq 0x155f3(%rip), %rdi     # 0x1ecc9
callq 0x50b0
leaq 0x1563b(%rip), %rdi     # 0x1ed1d
callq 0x50b0
leaq 0x15683(%rip), %rdi     # 0x1ed71
callq 0x50b0
leaq 0x156cd(%rip), %rdi     # 0x1edc7
callq 0x50b0
leaq 0x15713(%rip), %rdi     # 0x1ee19
callq 0x50b0
leaq 0x15760(%rip), %rdi     # 0x1ee72
callq 0x50b0
leaq 0x157a8(%rip), %rdi     # 0x1eec6
callq 0x50b0
leaq 0x157f0(%rip), %rdi     # 0x1ef1a
callq 0x50b0
leaq 0x1583b(%rip), %rdi     # 0x1ef71
callq 0x50b0
leaq 0x1587f(%rip), %rdi     # 0x1efc1
callq 0x50b0
leaq 0x158c3(%rip), %rdi     # 0x1f011
callq 0x50b0
leaq 0x1590e(%rip), %rdi     # 0x1f068
callq 0x50b0
leaq 0x1595b(%rip), %rdi     # 0x1f0c1
callq 0x50b0
leaq 0x159a0(%rip), %rdi     # 0x1f112
callq 0x50b0
leaq 0x159e8(%rip), %rdi     # 0x1f166
callq 0x50b0
leaq 0x15a30(%rip), %rdi     # 0x1f1ba
callq 0x50b0
leaq 0x15a7b(%rip), %rdi     # 0x1f211
callq 0x50b0
leaq 0x15abf(%rip), %rdi     # 0x1f261
callq 0x50b0
leaq 0x15b0b(%rip), %rdi     # 0x1f2b9
callq 0x50b0
leaq 0x15b5a(%rip), %rdi     # 0x1f314
callq 0x50b0
leaq 0x15ba3(%rip), %rdi     # 0x1f369
popq %rbx
jmp 0x50b0