Make examples 32-bit friendly.