An example to Magma