function anonymous(
) {
new File(["foo"], "foo.txt")
}