#include <stdio.h>

//label: while (a != 0) a--;
int main()
{
  int a = 10;
  while (a != 0) 
    a--;
  return a;
}