// File: /workspace/github_c_makefile_star2_O1/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 0x1889d(%rip), %rbx     # 0x21976
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5130
leaq 0xd584(%rip), %rdi      # 0x1666e
xorl %eax, %eax
callq 0x5130
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5130
leaq 0x14a08(%rip), %rdi     # 0x1db0a
callq 0x50b0
leaq 0x14a0c(%rip), %rdi     # 0x1db1a
callq 0x50b0
leaq 0x14a54(%rip), %rdi     # 0x1db6e
callq 0x50b0
leaq 0x14a9f(%rip), %rdi     # 0x1dbc5
callq 0x50b0
leaq 0x14ae9(%rip), %rdi     # 0x1dc1b
callq 0x50b0
leaq 0x14b33(%rip), %rdi     # 0x1dc71
callq 0x50b0
leaq 0x14b7b(%rip), %rdi     # 0x1dcc5
callq 0x50b0
leaq 0x14bc3(%rip), %rdi     # 0x1dd19
callq 0x50b0
leaq 0x14c0d(%rip), %rdi     # 0x1dd6f
callq 0x50b0
leaq 0x14c53(%rip), %rdi     # 0x1ddc1
callq 0x50b0
leaq 0x14ca0(%rip), %rdi     # 0x1de1a
callq 0x50b0
leaq 0x14ce8(%rip), %rdi     # 0x1de6e
callq 0x50b0
leaq 0x14d30(%rip), %rdi     # 0x1dec2
callq 0x50b0
leaq 0x14d7b(%rip), %rdi     # 0x1df19
callq 0x50b0
leaq 0x14dbf(%rip), %rdi     # 0x1df69
callq 0x50b0
leaq 0x14e03(%rip), %rdi     # 0x1dfb9
callq 0x50b0
leaq 0x14e4e(%rip), %rdi     # 0x1e010
callq 0x50b0
leaq 0x14e9b(%rip), %rdi     # 0x1e069
callq 0x50b0
leaq 0x14ee0(%rip), %rdi     # 0x1e0ba
callq 0x50b0
leaq 0x14f28(%rip), %rdi     # 0x1e10e
callq 0x50b0
leaq 0x14f70(%rip), %rdi     # 0x1e162
callq 0x50b0
leaq 0x14fbb(%rip), %rdi     # 0x1e1b9
callq 0x50b0
leaq 0x14fff(%rip), %rdi     # 0x1e209
callq 0x50b0
leaq 0x1504b(%rip), %rdi     # 0x1e261
callq 0x50b0
leaq 0x1509a(%rip), %rdi     # 0x1e2bc
callq 0x50b0
leaq 0x150e3(%rip), %rdi     # 0x1e311
popq %rbx
jmp 0x50b0