Bracket_abstraction.elf