Quite a funny way to suppress a warning.