Pollux :
./112> Euh compiler le code RPL sys en code natif, ça m'a pas l'air trivial, par contre... (lié à l'organisation en pile et au fait qu'il y a tout plein de hacks gores liés à la profondeur de la pile qui peut varier n'importe [et qu'il n'y a pas dans le bytecode Java, même s'il utilise une pile aussi] ).

Je propose de faire une toolchain C->ARM basée sur GCC, comme le fait TIGCC pour C->68k. Un frontend RPL système ne fait pas partie de ma suggestion...