f0efc0c188c9589dbf1a59e2cd4cb2bcdb03c8be4c59c69f895d45adbdc3cb5e *libdvm.a