c      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_` a b  c    d !" !" !" !"efghi#$%&'()*+,-./012jklmn#$%&'()*+,-./0122/10+,-.()*#$%&'#$%&'$%&'()*)*+,-.,-./10012(3456789:;<=>?@ABCDEFGHIJKLMNOPQRSopqrTUs#3456789:;<=>?@ABCDEFGHIJKLMNOPQRSTU#OPQRNMIJKLHDEFGC@AB?89:;<=>SU37654T#37654456789:;<=>9:;<=>?@ABABCDEFGEFGHIJKLJKLMNOPQRPQRSTUtuVWXvVWXVWXVWXYZ[\]YZ[\]YZ[\]YZ[Z[\]wxyz{^|Define a C function. }~_^__^^_ `a`aa``a bYZ[\]bbb     !"#$%&& '())*++,-./012 34566789:;<==>?@@ABCDDEFGHIIJKLMNOPQRRSTUVW X Y Z[\]^^_`abcdefghijklmnnopqrstuvwOPQxyz{|}~copilot-sbv-0.1Copilot.Compile.SBV.QueueCopilot.Compile.SBV.CommonCopilot.Compile.SBV.WitnessCopilot.Compile.SBV.Copilot2SBVCopilot.Compile.SBV.MetaTableCopilot.Compile.SBV.CodeCopilot.Compile.SBV.ParamsCopilot.Compile.SBV.DriverCopilot.Compile.SBV.MakefileCopilot.Compile.SBVQueuequeue QueueSize lookahead mkTmpStVar mkUpdateStFn mkQueueVar mkQueuePtrVar mkExtTmpVar mkObserverFnmkTriggerGuardFnmkTriggerArgFnmkTriggerArgIdxBitsInst MergeableInstOrdInstBVDivisibleInstEqInstHasSignAndSizeInst SymWordInst symWordInsthasSignAndSizeInsteqInstdivInstordInst mergeableInstbitsInstQueueInquePtrarrTypeArrInputarrInputExtInputextInputextTypeInputArrInExtInc2sExprArg ExternArr ExternFunExtern MetaTable streamInfoMap externInfoMapexternFunInfoMaptriggerInfoMapobserverInfoMapObserverInfoMap ObserverInfo observerArgsTriggerInfoMap TriggerInfo guardArgstriggerArgArgsExternFunInfoMap ExternFunInfoexternFunInfoArgsexternFunInfoType ExternInfoMap StreamInfoMap StreamInfostreamInfoQueuestreamInfoTypeallocMetaTablec2Args argToCall updateStatesupdateObservers fireTriggersParamsprefix defaultParams withPrefix driverNamedriver makefileNamemakefilecompilemkVarbadInstEnvLocal localSBVExpr localTypec2sExpr_ noFloatOpsErrc2sOp1c2sOp2c2sOp3 allocStream allocExtern allocTrigger allocObserverc2Args_SBVFunc mkSBVFuncmkInputsDeclretTdeclVarinitValmkFuncmkArgs mkFuncCallvarDecls declObservers sampleExts updateBuffers updatePtrs updatePtrsFupdateBuffersF updateStatesF triggersF observersF sampleExtsFretType