pub const ALT_BN128_MUL: u64 = 2;