Finish Pratt walkthrough, fix global variable in program.kh