structure FileMessage =
struct
  datatype t =
    SAVE_SQUARES of int vector vector
  | LOAD_SQUARES
  | EXPORT_SQUARES of int vector vector
  | LOAD_FILES of string
  | SELECT_PATH of string
end