anchor.diff:  -spec get_salt() -> binary().
   get_salt() ->
       Bytes = 32,
  -    Bits = Bytes*8,
  +    Bits = Bytes * 8,
       <<Result:Bits/bits, _/bits>> = crypto:strong_rand_bytes(Bytes),
       Result.
   
  
positive.code: %% server session key
  -spec server_session(list(), list(), binary(), integer(), integer(), integer()) -> binary().
  server_session(Username, Password, Salt, ClientPublic, ServerPublic, ServerPrivate) ->
      U = bin_to_int(crypto:hash(sha, [int_to_bin(ClientPublic), int_to_bin(ServerPublic)])),
      V = get_verifier(Username, Password, Salt),
      VU = bin_to_int(crypto:mod_pow(V, U, get_prime())),
      AVU = remainder(ClientPublic * VU, get_prime()),
  
negative.code:         crypto:mod_pow(N1, N2, get_prime()),
          crypto:hash(sha, User),
          Salt,
          int_to_bin(ClientPublic, get_key_size()),
          int_to_bin(ServerPublic, get_key_size()),
          K
      ]),
      {M, K}.
  