let
stdinf =
Unix
.stdin