fn cSwap2(a0: *Fe, b0: *Fe, a1: *Fe, b1: *Fe, c: u64) void
Conditionally swap two pairs of field elements if c is positive
c
a0: *Fe,
b0: *Fe,
a1: *Fe,
b1: *Fe,
c: u64,