Translate from Python verbatim (sans OSD.)