distr:	pop_push.h

pop_push.h: \
	../../../etc/em_table pop_push.awk
	 awk -f pop_push.awk < ../../../etc/em_table > pop_push.h