pub const ALT_BN128_ADD: u64 = 0; // 0u64