"fib"(n): int -> int
{
  if (n < 2)
    return 1;
  else
    return "fib"(n - 1) : int -> int + "fib"(n - 2) : int -> int;
}