Splint now runs clean on tizport.c