Listing 10

#include <stdio.h>

void push1(int);
void push2(int);
int pop1(void);
int pop2(void);
void dump_stack(void);

main()
{
       dump_stack(); push1(10);
       dump_stack(); push2(12);
       dump_stack(); push1(15);
       dump_stack(); push2(34);
       dump_stack(); push1(99);
       dump_stack(); push2(65);
       dump_stack(); printf("stack 1: %d\n", pop1());
       dump_stack(); printf("stack 1: %d\n", pop1());
       dump_stack(); printf("stack 1: %d\n", pop1());
       dump_stack(); printf("stack 2: %d\n", pop2());
       dump_stack(); printf("stack 2: %d\n", pop2());
       dump_stack(); printf("stack 2: %d\n", pop2());
       dump_stack();

       return 0;
}

/* End of File */