let types = ([
     {typename="Trace Files";       extensions=[".trace" ; ".trc"]; mactypes=["TEXT"]};
     {typename="Text Files";       extensions=[".txt"".text"]; mactypes=["TEXT"]};
     {typename="All Files";        extensions=["*"];       mactypes=[""]}
 ] : Tk.filePattern list)