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