Finish translating prelude.