def ghash_bytes
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCoreimport Base
420def ghash_bytes(+bytes: List<&2, U32>, h: List<&2, U32>, y: List<&2, U32>) -> List<&2, U32>:
421 ghash_bytes.go(List.length(&2, U32, bytes), bytes, 16n, Nil{}, h, y)