An Engima machine implementation in ATS.