removed symbols in cons/lit alloc; use m* in ko gc