const ongattserverdisconnected_getterinfo: JSJitInfo;