new superoptimizer import state.rkt