switch_to_32.h revision b2441318
1