leapfrog:
	../../bin/nitc leapfrog.nit