pub fn syscall_bn254_double_handler( ctx: &mut impl StoreTr<RuntimeContext>, params: &[Value], result: &mut [Value], ) -> Result<(), TrapCode>