Update taint.c