Turns out that setting it in the top-level is not enough, so move it to defs.rkt and use it in ever section