Added a debug statement in main to check out if we reach runtime_mstart