Inclusion of External Code in ATS