void set25519(final List<int> r, final List<int> a) { for (int i = 0; i < 16; ++i) { r[i] = a[i]; } }