I don't understand. My first message should read uint64x2_t Arm-specific 128-bit wide vector of two packed u64

idem here, have you a soluce ?