$file = "/foo";