Fixing runtime bugs with HMC. Still not totally working yet, though.