sind ganz normale Funktionsparameter, die aber nur in einer Debug-Version übergeben werden.

fib is code( a is int, debug(level is int) )
{
  if( a <= 1 ) return 1;
 
  debug print "Level: " + level;
 
  return fib( a-1, a-2, debug(level + 1) );
}