Translation of atoms to ANSI C.