#include <civlc.cvh>

$input int x;

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