val [->int] main;

val char* line;

val size_t line get_line_ptr stdin line;

val char first *line;

val [int [int->size_t]->size_t] functor;