Just things for my CS1 course