solutions to 15-213, Introduction to Computer Systems