#include<stdio.h>
#include<stdlib.h>

#define DEBUG 1
#ifdef DEBUG
  #define log(f, args...) \
	fprintf(stderr, "in %s: "f, __FUNCTION__, ## args)
#else
  #define log(f, args...) ;
#endif

__code
exitter(int a)
{
	exit(0);
}

__code
cs0(int x, int y)
{
	log("x = %d, y = %d.\n", x, y);
	log("will exit with code %d.\n", x*y);
	goto exitter(x*y);
}

void
continuation(int a)
{
	log("go code segment cs0\n");
	goto cs0(a, a*20);
	log("Error: continuation reachs bad region.\n");
}

int
main(int argc, char **argv)
{
	int a;
	if (argc>2) {
		a = atoi(argv[1]);
	}

	continuation(20);
}