just some scratch code from 15-213, not even sure what's in here