Updating: adding some ATSLIB-testing code.