Added annotations for C code generators