#include <civlc.h>

int main(){
  (void)0;
  return 0;
}