def ghash_mul
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCoreimport Base
389def ghash_mul(x: List<&2, U32>, h: List<&2, U32>) -> List<&2, U32>:
390 ghash_field_bytes(ghash_mul.go(128n, ghash_field(x), ghash_field(h),
391 GhashField{0,0,0,0}, 0n))