definition module pdExtFile;

path_separator :== '/';