Switching to 32-bit mode example