f93cde7c035daa5b34793d9ffbd57306c057456c0b2a3dd303852d197ac88d29 *libdvm.a