c:=0; x:=0; y:=0;
*[
    [ c=0 -> r!x; l?c , x:=0 , y:=1
    []c>0 -> x:=x+y ; y:=x+y ; c:=c-1
    ]
 ]