import T12076a
main = f `seq` return ()