$use Arithm StdIO;

$func Main = e;
Main = {
	1 :: s1,
	A B C : e t e,
	<Add s1 1> :: s1,
	<PrintLn s1>,
	$fail; ;
};