let x = Node.Fs.readFileSync("/dev/stdin", `utf8); Js.log(x.[0]);