let
lognot = lnot_big_int