pub unsafe extern "C" fn syscall_bn254_double(p: *mut [u32; 16])
Executes a Bn254 curve doubling on the given point.