
FILE=axiom_top_of_push
CMD=\\axiomtopofpush
SEC=sec:axiomtopofpush

include ../../Makefile.template

TESTOBJ += -lstack

