util.c
changeset 675 1438e35b622e
parent 644 1ed8c40dde36
child 698 e1c8bef05e6e