4128923bd10e19ae2c3e15c4efb02dfc4d9fa5804b9970e383d4492ef158135f *libdvm.a