const ongattserverdisconnected_setterinfo: JSJitInfo;