vuc: slct read, double-branch, double write
vuc: slct read, double-branch, double write

karolherbst/envytools,karolherbst/envytools,MoochMcGee/envytools,envytools/envytools,kfractal/envytools,pierremoreau/envytools,kfractal/envytools,grate-driver/envytools,karolherbst/envytools,hakzsam/envytools,envytools/envytools,MoochMcGee/envytools,karolherbst/envytools,hakzsam/envytools,MoochMcGee/envytools,pierremoreau/envytools,pierremoreau/envytools,envytools/envytools,pierremoreau/envytools,grate-driver/envytools,MoochMcGee/envytools,kfractal/envytools,hakzsam/envytools,hakzsam/envytools,karolherbst/envytools,kfractal/envytools,grate-driver/envytools,MoochMcGee/envytools,grate-driver/envytools,kfractal/envytools,envytools/envytools,hakzsam/envytools,grate-driver/envytools,pierremoreau/envytools,envytools/envytools