U64/add.kind