let
logn_length = 16