SMS dit: The Elements of Computing Systems 2/e