let
logand = land_big_int