Z:gnu-gcl-opcodes--451843-fpr-names=3DABI Pr/nl

fpr-names=ABI           Druk FPR-namen af volgens de opgegeven ABI. Standaard: numeriek. \