put back (declare (uses runsmod.import)), enhanced assert message for mismatched server/runid