--------------------------------------------------------
-- Operators for getting and setting the state and "info_down".
--------------------------------------------------------

getState :: FCode CgState
getState = FCode $ \_info_down state -> (# state, state #)
getState :: FCode CgState
getState = FCode $ \_info_down state -> (# state, state #)
getState = FCode $ \_info_down state -> (# state, state #)