let filename_re = "\"\\(\\([^\\\"]\\|\\\\.\\)*\\)\""