First release of logisim to magma translater.