CMU 15-213 Lab solutions and thoughts