Just to be sure, this exception is not intended to be caught by client code but only within HV, right?