add the JSC_TAINTED definition