--- /dev/null
+include ../CMD.mk # YACASL2DIR, CASL2
+CASL2FLAG = -atd -M64
+ASDIR = $(YACASL2DIR)/as
+CASL2LIBDIR = $(YACASL2DIR)/as/casl2lib
+ASFILE = $(YACASL2DIR)/as/cmd/POP/push_pop_0.casl
+CMD = $(CASL2) $(CASL2FLAG) $(ASFILE)
+include ../TEST.mk