Added a debug statement in runtime_mstart, right before the call to initcontext, and added a knowledge dump at various parts of the code