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