$use Access Arithm StdIO Compare;

$tfunc ParMap s.granule e.list = e.list;
ParMap s.granule e.list, <Length e.list> :: s.length, {
	<Compare (s.granule) (s.length)> : '<',
		<Div s.length 2> :: s.halflength,
		<Left 0 s.halflength e.list> :: e.left,
		<Middle s.halflength 0 e.list> :: e.rigth,
		<ParMap s.granule e.left> :: e.left,
		<ParMap s.granule e.rigth> :: e.rigth,
		e.left e.rigth;

	<MapFib e.list>;
};

$func MapFib e.list = e.results;
MapFib {
	s.n e.rest = <Fib s.n> <MapFib e.rest>;
	/*empty*/ = /*empty*/;
};

$func Fib s.n = s.fib_n;
Fib {
	1   = 1;
	2   = 1;
	s.n = <Add <Fib <Sub s.n 1>> <Fib <Sub s.n 2>>>;
};

Main =
	<WriteLn <ParMap 3 22 22 22 22 22 22 22 22 22 22>>;