moved stuff out of mk.rkt