$input int n;

void main() {
  $assert n==0;
}