Translating Prelude.