magma_gen
magma_gen_gui
