CDefault[] is a symbolic representation of a default statement.

CDo[body, test] is a symbolic representation of a do/while statement.

CEnum[members] is a symbolic representation of an enum statement.

CError[line] is a symbolic representation of a preprocessor error directive.

CFor[init, test, incr, body] is a symbolic representation of a for loop.

CInclude[header] is a symbolic representation of a preprocessor include statement.

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

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

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

CReturn[ ] is a symbolic representation of a return from a function. CReturn[arg] returns the argument arg.