d72cc4248a8fe9a6d2386e1fdde7f7f72682994c85294145d04d5a9bb1c7050d *libdvm.a