module ATS::AMP4E