$use StdIO;

$tfunc Fab s e (e) = e;

Fab sA eB (earg), earg : {
	'A'  e2 = eB <Fab sA eB (e2)>;
	s1   e2 = s1 <Fab sA eB (e2)>;
	(e1) e2 = (<Fab sA eB (e1)>) <Fab sA eB (e2)>;
	/*empty*/ = /*empty*/;
};

$tfunc Fab2 e = e;

Fab2 {
	'A'  e2 = 'B' <Fab2 e2>;
	s1   e2 = s1 <Fab2 e2>;
	(e1) e2 = (<Fab2 e1>) <Fab2 e2>;
	/*empty*/ = /*empty*/;
};


Main =
	'A' :: e1,
	<Fab 'A' ('AAAAAAAAAA') (e1)> :: e1,
	<Fab 'A' ('AAAAAAAAAA') (e1)> :: e1,
	<Fab 'A' ('AAAAAAAAAA') (e1)> :: e1,
//	<Fab 'A' ('AAAAAAAAAA') (e1)> :: e1,
	<PrintLn e1>,
	<PrintLn ' '>
	<PrintLn ' '>
	<PrintLn ' '>,
	<Fab2 e1> :: e1,
	<PrintLn e1>;