prog: jm-insns -i