Witt_group loading ...