${SPLINT} -mts tainted tainted2.c -mustfree -exportlocal -expect 1\r
${SPLINT} -mts tainted tainted3.c -mustfree -exportlocal -expect 1\r
${SPLINT} -mts tainted tainted4.c -mustfree -exportlocal -expect 1\r
${SPLINT} -mts tainted tainted2.c -mustfree -exportlocal -expect 1\r
${SPLINT} -mts tainted tainted3.c -mustfree -exportlocal -expect 1\r
${SPLINT} -mts tainted tainted4.c -mustfree -exportlocal -expect 1\r