const Keccak_512 = @compileError("Deprecated: use `Keccak512` instead");