SecLib.TCB.SecIO

data SecIO l a

toSecIO

run

plug

ioTCB