HAVM 0.24.