Since it is not always immediate to see if a function is
tail-recursive, a kind of compile time "assert" could be useful to
check this. E.g. some memory leaks could be prevented in this way.

  Jean-Francois