module SideEffectsSecT where 

import Data.Char
import SecLib.LatticeLH
import SecLib.Trustworthy

import SideEffectsSecU -- Import the untrustworthy function unsafe

secret :: Sec H Char    -- This is the secret to be manipulated by the untrustworthy code
secret = return 'X'

execute :: IO () 
execute = reveal $ func secret