Function addhilo 

const fn addhilo(x_hi: Word, x_lo: Word, y_hi: Word, y_lo: Word) -> (Word, Word)

Adds wide numbers represented by pairs of (most significant word, least significant word) and returns the result in the same format (hi, lo).