namespace Stack { void push(char); char pop(); }