let stdoutc = Pervasives.stdout