def gf8_xtime
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCoreimport Base
13def gf8_xtime(+a: U32) -> U32:
14 gf8_xtime.high(a, U32.is_ne(U32.and(128, a), 0))
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCoreimport Base
13def gf8_xtime(+a: U32) -> U32:
14 gf8_xtime.high(a, U32.is_ne(U32.and(128, a), 0))