===> Cleaning for splint-3.1.2