Basic abstract syntax for C.