static byte[] crypto_emptySalt() {
  ret new byte[8];
}