let lsl_big_int n1 n2 = let rec continue i n = if i <= 0 then n else Big_int.mult_int_big_int 2 (continue (i - 1) n) in continue (int_of_big_int (mod_big_int n2 int_const_64)) n1