> [...] > When I try to use this definition with > splint -mts blocking.mts source.c <...> Ah, sorry. Of course it is and was splint -mts blocking source.c <...> what I call. > then splint crashes: > [...] Best Regards, Kay Dohmann