prog: jm-insns -m