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)