We do not list any operations for class
ATM at this time. We are not yet aware of any services that class
ATM provides to other classes in the system. When we implement the system with C++ code, however, operations of this class, and additional operations of the other classes in the system, may emerge.