#ifndef STACKH   /* C example */
#define STACKH

void push(int i);
int pop(void);   /* C needs the keyword void */
#endif