pub fn syscall_tower_fp2_bn254_add_impl( ac0: [u8; 32], ac1: [u8; 32], bc0: [u8; 32], bc1: [u8; 32], ) -> Result<([u8; 32], [u8; 32]), ExitCode>