/dev-util/splint/