Ещё немножко этих интерпретаций

$ cat loop.ref
#!/bin/refal
Go = <цикл-1 0 0>;
цикл-1 {
  10 ?k = ?k;
  ?k ?j = <цикл-1 <?k + 1> <<цикл-2 0 0> + <?j + ?k>>>;
}
цикл-2 {
  50000000 ?j = ?j;
  ?i       ?j = <цикл-2 <?i + 1> <?i - ?j>>;
}
$ time ./loop.ref
real    0m51,589s
user    0m51,579s
sys    0m0,007s