#include<civlc.cvh>
#include<stdio.h>
#include<civl-stdio.cvh>

void main(){
  FILE *file = fopen("fooaaa", "r");
  int fooLength = $text_file_length("foo");
//  int fooLength = $textFileLength("testFile1.txt");

//  printf("\n\ntext file length:%d \n\n", fooLength);
  $free(file);
}