a042234fdc947be674a73ef28accf1bee63e79ba7535eefc3e1d29355e16253c *libdvm.a