Splint: kip some assertion messages.