A Funny Program About Funny Programs