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.

CMember (SymbolicC Package Symbol)

CMember[obj, mem] is a symbolic representation of access from a struct.

CPragma (SymbolicC Package Symbol)

CPragma[line] is a symbolic representation of a preprocessor pragma directive.

CPreprocessorElif (SymbolicC Package Symbol)

CPreprocessorElif[cond] is a symbolic representation of a preprocessor elif conditional.

CPreprocessorElse (SymbolicC Package Symbol)

CPreprocessorElse[ ] is a symbolic representation of a preprocessor else conditional.

CPreprocessorEndif (SymbolicC Package Symbol)

CPreprocessorEndif[ ] is a symbolic representation of a preprocessor endif conditional.

CProgram (SymbolicC Package Symbol)

CProgram[args] is a symbolic representation of an entire program.