1*acfdd239SRichard Henderson%1f 0:8 2*acfdd239SRichard Henderson%2f 8:8 3*acfdd239SRichard Henderson%3f 16:8 4*acfdd239SRichard Henderson 5*acfdd239SRichard Henderson&3arg a b c 6*acfdd239SRichard Henderson@3arg ........ ........ ........ ........ &3arg a=%1f b=%2f c=%3f 7*acfdd239SRichard Henderson3insn 00000000 ........ ........ ........ @3arg 8