在C51单片机开发环境中，如何用C语言编写一个程序，设计一个中断函数来实现以下功能：首先，数码管初始化为显示数字0；接着，当用户按下键K3时，数码管应递增计数并记录按键触发的次数；最后，当计数值达到9时，启动蜂鸣器警报，并将数码管的显示重置为0？请提供详细的代码示例。

在C51单片机开发环境中，编写这样一个程序需要使用中断处理、按键扫描以及数码管和蜂鸣器的驱动。这里是一个简单的代码示例：

#include <REGX51.H> //包含C51的基本头文件

// 定义按键K3的P口地址
sbit K3 = P3^2;

// 定义数码管和蜂鸣器的控制寄存器地址
#define LCD_PORT P0
#define LCD_DDR DDRD
#define LCD_BIT LCD_DB0 | LCD_DB1 | LCD_DB4 | LCD_DB5 | LCD_DB6 | LCD_DB7
#define Buzzer PORTB

unsigned char count = 0; // 计数器变量

void interrupt() __attribute__((interrupt("KEY"))) // 设置键盘中断
{
    if (K3) { // 检查是否按下K3
        ++count; // 增加计数
        LCD_DDR &= ~LCD_BIT; // 清除数码管数据线高电平
        LCD_PORT = count; // 更新数码管显示
        if (count == 10) { // 到达9，启动蜂鸣器
            Buzzer = 1;
        } else {
            Buzzer = 0; // 取消警报
        }
    }
}

void main(void)
{
    // 数码管初始化（假设是共阴极接法）
    LCD_DDR |= LCD_BIT;
    while(1) {
        delay_ms(100); // 稍作延时，防止按键抖动影响计数
    }
}