<<EXE>> atm10Server {Analysis}
Declarations