# get\_manual\_insn