Fix bug in alloc() support of Chapter 8 by adding code of spill  register