$input int x;

void main() {
  $assert( (!x) != x);
}