That seems reasonable. I was thinking that perhaps the default definition should succeed and fill in some default values instead of failing. But there is no sensible default for return_address_register.