Witt_vector loading ...