maxsharing-1.0.2: examples/WW-beta-saving-0.l

(\F. (\f. f (f 0)) (F 0)) (\y. \x. x)