util.c revision d71dbb732372504daff1f1783bc0d8864ce9bd50