let stdinf  = Unix.stdin