let
logxor = lxor_big_int