warning() should be static also in the header