Update resame-main.rkt