Example uncommented.