Make sure examples test works with 32-bit