fact.sil

n := succ succ succ succ succ succ succ 0;
result := succ 0;
counter := succ 0;
while counter < n do (
  for result do for counter do result := succ result;
  counter := succ counter
)