#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;
}

