下面是用E-SQL实现的机票销售程序的一部分，请补全空缺处的代码。
EXEC SQL SET TRANSACTION ISOLATION LEVEL SERIALIZABLE
EXEC SQL SELECT balance INTO :x FROM tickets WHERE flight='A';
printf('航班A当前剩余机票数为：%d/n请输入购票数：',x);
scanf('%d'，＆a);
x=x-a;
if(x＜0)
EXEC SQL ROLLBACK WORK;
printf('票数不够，购票失败!');
else{
EXEC SQL UPDATE tickets SET (a) ;
if(SQLC
EXEC SQL ROLLBACK WORK；
else
(b) ;
}