magma 1.8.3