$use Box System Arithm Convert StdIO "org.refal.plus.wrappers.java.lang.Thread" RefalThread;
$use "org.refal.plus.wrappers.java.util.concurrent.atomic.AtomicInteger";

$box Count;
$box Threads;
$func Perm s (e) (e) = ;

Perm s.box (e1) (e2) =
{
  e2 : \{
    ea tx eb,
      <Perm s.box (e1 tx) (ea eb)>,
      $fail;
    =
      //<PrintLn e1>
	<Get s.box> : s.inc,
		  <Store s.box <Add s.inc 1>>;
	//<Get &Count> : s.inc,
	//<IncrementAndGet s.inc> :: e
    ;
  };;
};

$func RunThread s e = s;

RunThread s.func e.args =
	<RefalThread s.func e.args> :: s.thread,
	<Start s.thread>,
	s.thread;

Main = <Store &Count 0>,
	//<ToInt <Arg 1>> :: s.threadCount,
	<ToInt <Arg 1>> :: s.listSize,
	s.listSize $iter e.list s.count <Sub s.count 1> :: e.list s.count, s.count : 0 =
	{
		e.list : e.head t.term e.tail,
			<Box 0> :: s.box,
			<Put &Threads (<RunThread &Perm s.box (t.term) (e.head e.tail)> s.box)>,
		       	$fail;
		;
	},
	{
		<Get &Threads> : e (s.thread s.box) e, <Join s.thread>,
		       	<Get &Count> : s.inc1,
			<Get s.box> : s.inc2,
			<Store &Count <Add s.inc1 s.inc2>>, $fail;;
	},
	<PrintLn <Get &Count>>;