Start with scc.rkt, and in a new module implement cc+h-red. You should not change scc.rkt, but instead extended it as illustrated in the book chapter II.13.