Chapter 7 / 3 - correct sys_stubs.h.