Rewrite languages.full