
FILE=axiom_size_of_push
CMD=\\axiomsizeofpush
SEC=sec:axiomsizeofpush

include ../../Makefile.template

TESTOBJ += -lstack

