core salt: generate function prototypes during to-c conversion