prog: jm-insns -f