Translate "Inclusion of External Code in ATS"