✏️ Editing: switch_arm32_gcc.h