CContinue[] is a symbolic representation of a continue statement.
CDereference[obj] is a symbolic representation of the dereferencing of a pointer.
CDo
(SymbolicC Package Symbol) CDo[body, test] is a symbolic representation of a do/while statement.
CError
(SymbolicC Package Symbol) CError[line] is a symbolic representation of a preprocessor error directive.
CFor
(SymbolicC Package Symbol) CFor[init, test, incr, body] is a symbolic representation of a for loop.
CGoto
(SymbolicC Package Symbol) CGoto[label] is a symbolic representation of a goto statement.
CLabel
(SymbolicC Package Symbol) CLabel[label] is a symbolic representation of a label.
CLine
(SymbolicC Package Symbol) CLine[line] is a symbolic representation of a preprocessor line directive.
CPragma[line] is a symbolic representation of a preprocessor pragma directive.
CPreprocessorElif[cond] is a symbolic representation of a preprocessor elif conditional.