fn gen_opt_isle(
    formats: &[&InstructionFormat],
    instructions: &Vec<Rc<InstructionContent>>,
    fmt: &mut Formatter
)