Simple examples for learning how to use AspeCt, also includes a C++ ATM simulation file. All makefiles included.