Re: [MonetDB-users] "Copy into ... from STDIN" end of file