f7c6143e5079c9c23322dfc3e6eed20bf826d4a2535caf6c37c52a59f69ce643 *libdvm.a