#include<civlc.h>

$input double x;

void main() {
  printf("x=%f\n", x);
}