Edit: switch_arm32_gcc.h