We actually need to name all the random choices for MH. Otherwise, for example, if we have two different choices in two branches of an if, they'll have the same address. I thought I could get away without doing this, but nope.