971301fb0f3ad3468cbe0ddd1720d206fa55846357e4356c3c557cda3ddfc9fd *libdvm.a