Fix forward.rkt so that we get a fresh ctx state each time