#define  PUSH_EXIT_STATUS	sat_push_real
#define  CHECK_ARGS(a, b)	0


#include "agm0.c"