msan71: Ouch!!