util.c
changeset 543 722cffee3770
parent 532 651f2c868b31
child 643 e90bf387bf6f