Prototypes and domains section