fn main() {
    std:io::stdin();
    //~^ ERROR path separator must be a double colon
}