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