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


#include "agm0.c"