[ANN] Magma 1.0r40