load(solve_rec);

r1: a[n + 1] = 2*a[n];
roz: solve_rec(r1, a[n]);

r1: a[n + 1] = 2*a[n];
roz: solve_rec(r1, a[n], a[1] = 2);

r1: a[n + 2] = a[n + 1] + a[n];
roz: solve_rec(r1, a[n], a[2] = 1, a[1] = 1);

r1: a[n + 1] = 2*a[n];
roz: solve_rec(r1, a[n], a[1] = 2);
a10: ev(roz, n = 10);