#include<civlc.h>
#include<stdio.h>

$input double x;

void main() {
  printf("x=%l", x); //\a currently is not supported by CIVL, so this example will throw a exception
}