Definition of "amatol"