Get the extension of file name string get_file_ext(string filename);
string get_file_ext(string filename);