failed version with xor VC