TaintStorage immediately returns for T=0