let stdinc  = Pervasives.stdin