let lxor_big_int n1 n2 =
    let n1 = byte_list_of_big_int n1 in
    let n2 = byte_list_of_big_int n2 in
    let rec continue l1 l2 =
        match l1, l2 with
            [], _ -> []
          | _, [] -> []
          | n1::l1, n2::l2 -> n1 lxor n2::continue l1 l2
    in
    big_int_of_byte_list (continue n1 n2)