In reply to avek:
ref arguments require equivalent types between the formal and actual arguments types. formal type ‘word’ is of type my_word, and actual is of type testword.
There is no need to use a ref argument here. Please see const ref | Verification Academy