pub fn format_instructions(values: &[Instruction]) -> String