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