Recursive C programs, contributed by Matthias Heizmann.