msan71: Ouch!