Moved this from BVAL to HV, as I don’t think it’s an issue with the spec, but rather related to the impl.