A handwritten example demonstrating the measure problems with mutual-recursion.