2 context reference char *
3 oneof untainted, tainted
5 tainted reference ==> tainted
6 untainted reference ==> untainted
8 tainted as untainted ==> error "Possibly tainted storage used as untainted."
9 untainted as tainted ==> untainted
11 tainted + untainted ==> tainted
12 untainted + tainted ==> error "bogus merge"