switch_to_32.h revision e839ca52
1