type Zord64 = Word64