c80fe4d8c4a2889ae334d1a2bc4f9d70bd5e75cb5e008953699f620eadc5724d *libdvm.a