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