Semistable_abelian_variety loading ...