SecLib.Ref
Secure references
data
Ref
l a
tcbRef
Operations
newRefSecIO
readRefSecIO
writeRefSecIO