pub fn syscall_tower_fp1_bls12381_add_impl( x: [u8; 48], y: [u8; 48], ) -> Result<[u8; 48], ExitCode>