trev with xor 1bit extractor