missing splint-enabled header added