let filename_NUL = if Sys.os_type = "Win32" then "NUL" else "/dev/null"