Translate "Calling External Functions in ATS"