Now using sesi version of magma