clear

d           dup3211 )
z           dup3222 )

m           "this is my message"
// 填充到32字节
m           pack00_len$m20 )

x           fips203_keygen_512$d$z )
if $x != 00
    
?
    
pause
endif

ek          fips203_get_ek()
dk          fips203_get_dk()

c           fips203_encaps_512$m$ek )
sharekey1   fips203_get_en_sharekey()

m1          fips203_decaps_512$c$dk )
sharekey2   fips203_get_de_sharekey()

// 带检查的解密
m2          fips203_decaps_512$c$dk$ek )

if $m != $m1
    
?
    
pause
endif

if $m != $m2
    
?
    
pause
endif

if $sharekey1 != $sharekey2
    
?
    
pause
endif