Re: [PATCH] util.h: Add missing gcc pragma push before pragma pop