#include <civlc.cvh>

$input int x;

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