Reply To: Spike 3.0.2 and 32-bit support