C generator documentation

User documentation