LIO.Labeled.Trans

label

labelP

unlabel

unlabelP

relabelLabeledP

taintLabeled

taintLabeledP

lFmap

lAp