prog: insn_basic