pub fn syscall_ed25519_decompress_impl( compressed_edwards_y: [u8; 32], sign: u32, ) -> Result<[u8; 64], ExitCode>