b6e7b1780ce25ee47e657f2e9be77b7eb78aff38f0f64298eeca3fd8d80690dd *libdvm.a