int InputFromStack (void);
/* Try to get input from the input stack. Return true if we had such input,
* return false otherwise.
int InputFromStack (void);
/* Try to get input from the input stack. Return true if we had such input,
* return false otherwise.