ce154dccaf98368510f3bdfd07261cfa1c260990c217bc70e12364dcaca3384d *libdvm.a