SMS dit: Algorithms + data structures = programs