int x()
{
# 17 "bb.c" 
}