Update MainCode.rkt