Copilot.Compile.SBV.Code
updateStates
updateObservers
fireTriggers
getExtArrs
getExtFuns