单选题 12.  为正确使用临界资源，可把对临界资源的访问分成进入区、临界区、退出区和剩余区四部分。请指出下列飞机订票代码中带有下划线部分的语句属于哪一个区域?______
    int booking(id)//订票例程
    {
    int c;
    while TS(＆lock);//Test-and-Set指令
    c=fetch(ticket);//从服务器取剩余票额
    show(c);//显示
    if(rcad(input)=1)//是否订票
    {
    c=c-1;//票额减1
    send(c);//送回新数据
    }
    lock=FALSE;//置标志为F
    output(list);//打印机票
    }