pub const ALT_BN128_ADD: u64 = 0;