import javax.crypto.spec.*;

static IvParameterSpec crypto_emptyIV() {
  ret new IvParameterSpec(new byte[16]);
}