sys/doc/il/transition.fig

   1 .lf 1 transition.pic
   2 ... 0.34125 1.17 8.85 9.28069
   3 ... 0.000i 5.243i 5.500i 0.000i
   4 .nr 00 \n(.u
   5 .nf
   6 .PS 5.243i 5.500i  5.5i
   7 .lf 253
   8 \h'0.232i'\v'2.056i'\D'c0.905i'
   9 .sp -1
  10 \h'1.869i'\v'3.543i'\D'c0.905i'
  11 .sp -1
  12 \h'1.869i'\v'0.569i'\D'c0.905i'
  13 .sp -1
  14 \h'0.684i'\v'2.056i'\v'.2m'\h'-\w'Closed'u/2u'Closed
  15 .sp -1
  16 \h'2.321i'\v'0.569i'\v'.2m'\h'-\w'Syncer'u/2u'Syncer
  17 .sp -1
  18 \h'2.322i'\v'3.543i'\v'.2m'\h'-\w'Syncee'u/2u'Syncee
  19 .sp -1
  20 \h'3.270i'\v'2.056i'\v'.2m'\h'-\w'Established'u/2u'Established
  21 .sp -1
  22 \h'1.837i'\v'0.404i'\D'l0.066i -0.008i'
  23 .sp -1
  24 \h'1.841i'\v'0.372i'\D'l0.062i 0.024i'
  25 .sp -1
  26 \h'1.903i'\v'0.396i'\D'a-0.170i 1.107i -0.673i -0.895i'
  27 .sp -1
  28 \h'0.682i'\v'1.011i'\D'l0.028i -0.061i'
  29 .sp -1
  30 \h'0.657i'\v'0.991i'\D'l0.053i -0.040i'
  31 .sp -1
  32 \h'0.710i'\v'0.951i'\D'a0.552i 0.483i -0.709i 0.189i'
  33 .sp -1
  34 \h'1.395i'\v'1.539i'\D'l-0.329i 0.275i'
  35 .sp -1
  36 \h'1.106i'\v'1.760i'\D'l-0.039i 0.054i'
  37 .sp -1
  38 \h'1.126i'\v'1.785i'\D'l-0.060i 0.029i'
  39 .sp -1
  40 \h'1.525i'\v'2.767i'\v'.2m'\h'-\w'rcv((Ilsync(rid0, !0))'u/2u'rcv((Ilsync(rid0, !0))
  41 .sp -1
  42 \h'1.025i'\v'2.443i'\D'l-0.058i -0.033i'
  43 .sp -1
  44 \h'1.002i'\v'2.466i'\D'l-0.035i -0.056i'
  45 .sp -1
  46 \h'0.967i'\v'2.410i'\D'l0.170i 0.164i'
  47 .sp -1
  48 \h'0.697i'\v'0.770i'\D'l0.646i 0.000i'
  49 .sp -1
  50 \h'1.020i'\v'0.867i'\v'.2m'\h'-\w'snd(Ilsync(id0, 0))'u/2u'snd(Ilsync(id0, 0))
  51 .sp -1
  52 \h'1.008i'\v'0.699i'\v'.2m'\h'-\w'User Open'u/2u'User Open
  53 .sp -1
  54 \h'0.603i'\v'2.501i'\D'a0.929i 0.303i -0.912i 0.350i'
  55 .sp -1
  56 \h'0.583i'\v'3.099i'\D'l0.036i 0.056i'
  57 .sp -1
  58 \h'0.614i'\v'3.088i'\D'l0.006i 0.066i'
  59 .sp -1
  60 \h'0.814i'\v'3.472i'\D'a0.710i -0.787i 0.366i 0.995i'
  61 .sp -1
  62 \h'1.834i'\v'3.715i'\D'l0.056i -0.036i'
  63 .sp -1
  64 \h'1.823i'\v'3.684i'\D'l0.066i -0.005i'
  65 .sp -1
  66 \h'0.684i'\v'3.413i'\v'.2m'\h'-\w'no connection'u/2u'no connection
  67 .sp -1
  68 \h'3.006i'\v'2.502i'\D'l0.024i -0.062i'
  69 .sp -1
  70 \h'2.979i'\v'2.483i'\D'l0.050i -0.044i'
  71 .sp -1
  72 \h'3.029i'\v'2.439i'\D'l-0.180i 0.257i'
  73 .sp -1
  74 \h'2.729i'\v'2.959i'\D'l0.024i -0.062i'
  75 .sp -1
  76 \h'2.703i'\v'2.940i'\D'l0.050i -0.044i'
  77 .sp -1
  78 \h'2.753i'\v'2.896i'\D'l-0.186i 0.266i'
  79 .sp -1
  80 \h'2.960i'\v'1.640i'\D'l0.045i 0.049i'
  81 .sp -1
  82 \h'2.989i'\v'1.624i'\D'l0.017i 0.064i'
  83 .sp -1
  84 \h'3.006i'\v'1.689i'\D'l-0.188i -0.344i'
  85 .sp -1
  86 \h'2.708i'\v'1.166i'\D'l0.045i 0.049i'
  87 .sp -1
  88 \h'2.737i'\v'1.151i'\D'l0.016i 0.065i'
  89 .sp -1
  90 \h'2.753i'\v'1.216i'\D'l-0.154i -0.290i'
  91 .sp -1
  92 \h'3.658i'\v'3.782i'\D'l0.007i 0.106i'
  93 .sp -1
  94 \h'3.665i'\v'3.887i'\D'l-0.011i 0.113i'
  95 .sp -1
  96 \h'3.654i'\v'4.000i'\D'l-0.029i 0.120i'
  97 .sp -1
  98 \h'3.624i'\v'4.121i'\D'l-0.047i 0.128i'
  99 .sp -1
 100 \h'3.577i'\v'4.249i'\D'l-0.032i 0.065i'
 101 .sp -1
 102 \h'3.545i'\v'4.314i'\D'l-0.039i 0.062i'
 103 .sp -1
 104 \h'3.506i'\v'4.376i'\D'l-0.047i 0.060i'
 105 .sp -1
 106 \h'3.459i'\v'4.436i'\D'l-0.054i 0.057i'
 107 .sp -1
 108 \h'3.404i'\v'4.493i'\D'l-0.062i 0.055i'
 109 .sp -1
 110 \h'3.343i'\v'4.548i'\D'l-0.069i 0.053i'
 111 .sp -1
 112 \h'3.274i'\v'4.600i'\D'l-0.077i 0.050i'
 113 .sp -1
 114 \h'3.197i'\v'4.650i'\D'l-0.084i 0.048i'
 115 .sp -1
 116 \h'3.113i'\v'4.698i'\D'l-0.091i 0.044i'
 117 .sp -1
 118 \h'3.022i'\v'4.742i'\D'l-0.099i 0.038i'
 119 .sp -1
 120 \h'2.923i'\v'4.780i'\D'l-0.106i 0.032i'
 121 .sp -1
 122 \h'2.816i'\v'4.812i'\D'l-0.114i 0.027i'
 123 .sp -1
 124 \h'2.702i'\v'4.839i'\D'l-0.122i 0.021i'
 125 .sp -1
 126 \h'2.581i'\v'4.860i'\D'l-0.129i 0.016i'
 127 .sp -1
 128 \h'2.452i'\v'4.876i'\D'l-0.137i 0.010i'
 129 .sp -1
 130 \h'2.315i'\v'4.886i'\D'l-0.144i 0.004i'
 131 .sp -1
 132 \h'2.171i'\v'4.890i'\D'l-0.290i -0.004i'
 133 .sp -1
 134 \h'1.881i'\v'4.887i'\D'l-0.280i -0.018i'
 135 .sp -1
 136 \h'1.601i'\v'4.869i'\D'l-0.269i -0.032i'
 137 .sp -1
 138 \h'1.332i'\v'4.837i'\D'l-0.258i -0.046i'
 139 .sp -1
 140 \h'1.074i'\v'4.792i'\D'l-0.121i -0.031i'
 141 .sp -1
 142 \h'0.953i'\v'4.761i'\D'l-0.111i -0.041i'
 143 .sp -1
 144 \h'0.842i'\v'4.720i'\D'l-0.100i -0.051i'
 145 .sp -1
 146 \h'0.742i'\v'4.669i'\D'l-0.090i -0.061i'
 147 .sp -1
 148 \h'0.652i'\v'4.608i'\D'l-0.079i -0.070i'
 149 .sp -1
 150 \h'0.572i'\v'4.538i'\D'l-0.069i -0.080i'
 151 .sp -1
 152 \h'0.503i'\v'4.458i'\D'l-0.058i -0.090i'
 153 .sp -1
 154 \h'0.445i'\v'4.368i'\D'l-0.048i -0.100i'
 155 .sp -1
 156 \h'0.397i'\v'4.268i'\D'l-0.040i -0.106i'
 157 .sp -1
 158 \h'0.357i'\v'4.162i'\D'l-0.034i -0.108i'
 159 .sp -1
 160 \h'0.323i'\v'4.054i'\D'l-0.028i -0.111i'
 161 .sp -1
 162 \h'0.295i'\v'3.943i'\D'l-0.022i -0.113i'
 163 .sp -1
 164 \h'0.274i'\v'3.830i'\D'l-0.016i -0.116i'
 165 .sp -1
 166 \h'0.258i'\v'3.714i'\D'l-0.010i -0.118i'
 167 .sp -1
 168 \h'0.248i'\v'3.596i'\D'l-0.004i -0.121i'
 169 .sp -1
 170 \h'0.244i'\v'3.475i'\D'l0.002i -0.123i'
 171 .sp -1
 172 \h'0.246i'\v'3.352i'\D'l0.016i -0.239i'
 173 .sp -1
 174 \h'0.263i'\v'3.113i'\D'l0.028i -0.218i'
 175 .sp -1
 176 \h'0.290i'\v'2.895i'\D'l0.039i -0.197i'
 177 .sp -1
 178 \h'0.330i'\v'2.698i'\D'l0.051i -0.177i'
 179 .sp -1
 180 \h'4.000i'\v'4.609i'\D'c0.905i'
 181 .sp -1
 182 \h'5.151i'\v'2.269i'\v'.2m'\h'-\w'User Close'u/2u'User Close
 183 .sp -1
 184 \h'4.789i'\v'2.315i'\D'l0.711i 0.000i'
 185 .sp -1
 186 \h'5.338i'\v'2.424i'\v'.2m'\h'-\w'snd(Ilclose(next, rcvd))'u/2u'snd(Ilclose(next, rcvd))
 187 .sp -1
 188 \h'4.453i'\v'2.793i'\D'a-0.704i -0.000i -0.028i -0.704i'
 189 .sp -1
 190 \h'3.554i'\v'2.386i'\D'l0.039i 0.072i'
 191 .sp -1
 192 \h'3.593i'\v'2.458i'\D'l0.024i 0.074i'
 193 .sp -1
 194 \h'3.617i'\v'2.532i'\D'l0.008i 0.077i'
 195 .sp -1
 196 \h'3.625i'\v'2.609i'\D'l-0.008i 0.079i'
 197 .sp -1
 198 \h'3.617i'\v'2.688i'\D'l-0.036i 0.165i'
 199 .sp -1
 200 \h'3.582i'\v'2.853i'\D'l-0.045i 0.175i'
 201 .sp -1
 202 \h'3.537i'\v'3.027i'\D'l-0.018i 0.090i'
 203 .sp -1
 204 \h'3.518i'\v'3.117i'\D'l-0.005i 0.090i'
 205 .sp -1
 206 \h'3.513i'\v'3.207i'\D'l0.008i 0.090i'
 207 .sp -1
 208 \h'3.521i'\v'3.297i'\D'l0.021i 0.090i'
 209 .sp -1
 210 \h'4.808i'\v'4.160i'\D'l-0.069i 0.099i'
 211 .sp -1
 212 \h'4.763i'\v'4.197i'\D'l-0.024i 0.062i'
 213 .sp -1
 214 \h'4.789i'\v'4.215i'\D'l-0.050i 0.044i'
 215 .sp -1
 216 \h'4.466i'\v'3.232i'\D'l0.000i 0.892i'
 217 .sp -1
 218 \h'4.450i'\v'4.060i'\D'l0.016i 0.065i'
 219 .sp -1
 220 \h'4.482i'\v'4.060i'\D'l-0.016i 0.065i'
 221 .sp -1
 222 \h'0.245i'\v'2.366i'\D'l0.046i -0.087i'
 223 .sp -1
 224 \h'0.275i'\v'2.344i'\D'l0.016i -0.065i'
 225 .sp -1
 226 \h'0.246i'\v'2.329i'\D'l0.044i -0.050i'
 227 .sp -1
 228 \h'0.381i'\v'2.521i'\D'l0.036i -0.100i'
 229 .sp -1
 230 \h'0.410i'\v'2.487i'\D'l0.007i -0.066i'
 231 .sp -1
 232 \h'0.380i'\v'2.476i'\D'l0.037i -0.055i'
 233 .sp -1
 234 \h'1.654i'\v'1.338i'\v'.2m'\h'-\w'rcv(Ilack(-, !id0))'u/2u'rcv(Ilack(-, !id0))
 235 .sp -1
 236 \h'1.654i'\v'1.474i'\v'.2m'\h'-\w'rcv(Ilclose(-, id0)'u/2u'rcv(Ilclose(-, id0)
 237 .sp -1
 238 \h'2.882i'\v'1.280i'\v'.2m'\h'-\w'rcv(ilsync(-, id0))'u/2u'rcv(ilsync(-, id0))
 239 .sp -1
 240 \h'2.817i'\v'2.767i'\v'.2m'\h'-\w'rcv(Ilack(-, id0))'u/2u'rcv(Ilack(-, id0))
 241 .sp -1
 242 \h'3.632i'\v'3.013i'\D'l1.280i 0.000i'
 243 .sp -1
 244 \h'4.265i'\v'3.155i'\v'.2m'\h'-\w'snd(Ilclose(next, rcvd))'u/2u'snd(Ilclose(next, rcvd))
 245 .sp -1
 246 \h'4.272i'\v'2.954i'\v'.2m'\h'-\w'rcv(Ilclose(-, ackok))'u/2u'rcv(Ilclose(-, ackok))
 247 .sp -1
 248 \h'3.722i'\v'3.672i'\v'.2m'\h'-\w'rcv(Ilsync(!rid0, -))'u/2u'rcv(Ilsync(!rid0, -))
 249 .sp -1
 250 \h'1.551i'\v'2.638i'\v'.2m'\h'-\w'rcv(Ilack(!rid0, -))'u/2u'rcv(Ilack(!rid0, -))
 251 .sp -1
 252 \h'4.453i'\v'4.609i'\v'.2m'\h'-\w'Closing'u/2u'Closing
 253 .sp -1
 254 \h'1.929i'\v'3.318i'\D'l-0.266i -0.235i'
 255 .sp -1
 256 \h'1.723i'\v'3.114i'\D'l-0.059i -0.031i'
 257 .sp -1
 258 \h'1.701i'\v'3.139i'\D'l-0.038i -0.055i'
 259 .sp -1
 260 \h'2.042i'\v'0.925i'\D'l-0.259i 0.226i'
 261 .sp -1
 262 \h'1.821i'\v'1.096i'\D'l-0.038i 0.055i'
 263 .sp -1
 264 \h'1.843i'\v'1.121i'\D'l-0.059i 0.030i'
 265 .sp -1
 266 \h'2.171i'\v'5.223i'\v'.2m'\h'-\w'rcv(Ilclose(-, next))'u/2u'rcv(Ilclose(-, next))
 267 .sp -1
 268 \h'2.947i'\v'5.208i'\D'l-0.065i 0.015i'
 269 .sp -1
 270 \h'2.946i'\v'5.240i'\D'l-0.064i -0.017i'
 271 .sp -1
 272 \h'2.882i'\v'5.223i'\D'a0.063i -2.080i 1.145i 1.738i'
 273 .sp -1
 274 \h'1.486i'\v'5.243i'\D'l-0.337i -0.015i'
 275 .sp -1
 276 \h'1.149i'\v'5.227i'\D'l-0.339i -0.027i'
 277 .sp -1
 278 \h'0.810i'\v'5.201i'\D'l-0.083i -0.012i'
 279 .sp -1
 280 \h'0.728i'\v'5.189i'\D'l-0.079i -0.019i'
 281 .sp -1
 282 \h'0.649i'\v'5.170i'\D'l-0.074i -0.026i'
 283 .sp -1
 284 \h'0.575i'\v'5.144i'\D'l-0.070i -0.033i'
 285 .sp -1
 286 \h'0.504i'\v'5.111i'\D'l-0.066i -0.040i'
 287 .sp -1
 288 \h'0.438i'\v'5.071i'\D'l-0.062i -0.048i'
 289 .sp -1
 290 \h'0.376i'\v'5.023i'\D'l-0.058i -0.055i'
 291 .sp -1
 292 \h'0.318i'\v'4.968i'\D'l-0.054i -0.062i'
 293 .sp -1
 294 \h'0.264i'\v'4.907i'\D'l-0.049i -0.069i'
 295 .sp -1
 296 \h'0.215i'\v'4.838i'\D'l-0.044i -0.076i'
 297 .sp -1
 298 \h'0.171i'\v'4.762i'\D'l-0.039i -0.082i'
 299 .sp -1
 300 \h'0.132i'\v'4.680i'\D'l-0.034i -0.089i'
 301 .sp -1
 302 \h'0.099i'\v'4.590i'\D'l-0.029i -0.096i'
 303 .sp -1
 304 \h'0.070i'\v'4.494i'\D'l-0.023i -0.103i'
 305 .sp -1
 306 \h'0.047i'\v'4.391i'\D'l-0.018i -0.110i'
 307 .sp -1
 308 \h'0.028i'\v'4.281i'\D'l-0.013i -0.117i'
 309 .sp -1
 310 \h'0.015i'\v'4.165i'\D'l-0.014i -0.238i'
 311 .sp -1
 312 \h'0.001i'\v'3.927i'\D'l-0.001i -0.235i'
 313 .sp -1
 314 \v'3.692i'\D'l0.012i -0.231i'
 315 .sp -1
 316 \h'0.012i'\v'3.460i'\D'l0.026i -0.228i'
 317 .sp -1
 318 \h'0.038i'\v'3.232i'\D'l0.037i -0.224i'
 319 .sp -1
 320 \h'0.075i'\v'3.009i'\D'l0.047i -0.219i'
 321 .sp -1
 322 \h'0.122i'\v'2.790i'\D'l0.057i -0.214i'
 323 .sp -1
 324 \h'0.179i'\v'2.576i'\D'l0.066i -0.209i'
 325 .sp -1
 326 \h'1.512i'\v'2.890i'\v'.2m'\h'-\w'rcv(Ilclose(-, id0))'u/2u'rcv(Ilclose(-, id0))
 327 .sp -1
 328 \h'2.788i'\v'4.199i'\v'.2m'\h'-\w'rcv(Ilsync(rid0, 0))'u/2u'rcv(Ilsync(rid0, 0))
 329 .sp -1
 330 \h'2.174i'\v'4.251i'\D'l1.196i 0.006i'
 331 .sp -1
 332 \h'2.756i'\v'4.380i'\v'.2m'\h'-\w'snd(Ilsync(id0, rid0))'u/2u'snd(Ilsync(id0, rid0))
 333 .sp -1
 334 \h'1.266i'\v'4.124i'\v'.2m'\h'-\w'rexmit timeout'u/2u'rexmit timeout
 335 .sp -1
 336 \h'1.460i'\v'3.026i'\v'.2m'\h'-\w'death timeout'u/2u'death timeout
 337 .sp -1
 338 \h'1.667i'\v'1.235i'\v'.2m'\h'-\w'death timeout'u/2u'death timeout
 339 .sp -1
 340 \h'3.677i'\v'3.530i'\v'.2m'\h'-\w'death timeout'u/2u'death timeout
 341 .sp -1
 342 \h'0.859i'\v'4.183i'\D'l0.814i 0.000i'
 343 .sp -1
 344 \h'1.266i'\v'4.318i'\v'.2m'\h'-\w'snd(Ilsync(id0, rid0))'u/2u'snd(Ilsync(id0, rid0))
 345 .sp -1
 346 \h'1.937i'\v'3.781i'\D'l-0.221i 0.037i'
 347 .sp -1
 348 \h'1.716i'\v'3.818i'\D'l-0.185i 0.026i'
 349 .sp -1
 350 \h'1.531i'\v'3.845i'\D'l-0.076i 0.012i'
 351 .sp -1
 352 \h'1.454i'\v'3.857i'\D'l-0.062i 0.016i'
 353 .sp -1
 354 \h'1.393i'\v'3.873i'\D'l-0.047i 0.020i'
 355 .sp -1
 356 \h'1.346i'\v'3.893i'\D'l-0.032i 0.023i'
 357 .sp -1
 358 \h'1.315i'\v'3.916i'\D'l-0.021i 0.028i'
 359 .sp -1
 360 \h'1.293i'\v'3.944i'\D'l-0.015i 0.034i'
 361 .sp -1
 362 \h'1.278i'\v'3.979i'\D'l-0.009i 0.041i'
 363 .sp -1
 364 \h'1.269i'\v'4.019i'\D'l-0.003i 0.047i'
 365 .sp -1
 366 \h'1.783i'\v'4.124i'\D'l0.240i -0.240i'
 367 .sp -1
 368 \h'1.989i'\v'3.941i'\D'l0.034i -0.057i'
 369 .sp -1
 370 \h'1.967i'\v'3.918i'\D'l0.057i -0.034i'
 371 .sp -1
 372 \h'2.710i'\v'3.777i'\D'l0.178i 0.035i'
 373 .sp -1
 374 \h'2.887i'\v'3.811i'\D'l0.043i 0.014i'
 375 .sp -1
 376 \h'2.931i'\v'3.825i'\D'l0.038i 0.019i'
 377 .sp -1
 378 \h'2.968i'\v'3.844i'\D'l0.032i 0.024i'
 379 .sp -1
 380 \h'3.001i'\v'3.869i'\D'l0.027i 0.030i'
 381 .sp -1
 382 \h'3.028i'\v'3.898i'\D'l0.021i 0.034i'
 383 .sp -1
 384 \h'3.049i'\v'3.933i'\D'l0.015i 0.038i'
 385 .sp -1
 386 \h'3.064i'\v'3.971i'\D'l0.009i 0.042i'
 387 .sp -1
 388 \h'3.073i'\v'4.013i'\D'l0.003i 0.046i'
 389 .sp -1
 390 \h'2.494i'\v'4.124i'\D'l-0.043i -0.147i'
 391 .sp -1
 392 \h'2.485i'\v'4.035i'\D'l-0.034i -0.057i'
 393 .sp -1
 394 \h'2.454i'\v'4.044i'\D'l-0.003i -0.067i'
 395 .sp -1
 396 \h'3.529i'\v'0.375i'\v'.2m'\h'-\w'snd(Ilsync(id0, 0))'u/2u'snd(Ilsync(id0, 0))
 397 .sp -1
 398 \h'3.529i'\v'0.181i'\v'.2m'\h'-\w'rexmit timeout'u/2u'rexmit timeout
 399 .sp -1
 400 \h'3.011i'\v'0.246i'\D'l0.970i 0.000i'
 401 .sp -1
 402 \h'2.590i'\v'0.205i'\D'l0.061i -0.051i'
 403 .sp -1
 404 \h'2.651i'\v'0.154i'\D'l0.070i -0.044i'
 405 .sp -1
 406 \h'2.722i'\v'0.110i'\D'l0.080i -0.037i'
 407 .sp -1
 408 \h'2.801i'\v'0.072i'\D'l0.089i -0.031i'
 409 .sp -1
 410 \h'2.890i'\v'0.042i'\D'l0.090i -0.023i'
 411 .sp -1
 412 \h'2.979i'\v'0.019i'\D'l0.082i -0.014i'
 413 .sp -1
 414 \h'3.062i'\v'0.005i'\D'l0.075i -0.005i'
 415 .sp -1
 416 \h'3.137i'\D'l0.068i 0.004i'
 417 .sp -1
 418 \h'3.205i'\v'0.004i'\D'l0.057i 0.009i'
 419 .sp -1
 420 \h'3.262i'\v'0.013i'\D'l0.040i 0.011i'
 421 .sp -1
 422 \h'3.302i'\v'0.024i'\D'l0.024i 0.013i'
 423 .sp -1
 424 \h'3.327i'\v'0.037i'\D'l0.008i 0.015i'
 425 .sp -1
 426 \h'3.399i'\v'0.440i'\D'l-0.049i 0.029i'
 427 .sp -1
 428 \h'3.350i'\v'0.469i'\D'l-0.052i 0.023i'
 429 .sp -1
 430 \h'3.298i'\v'0.493i'\D'l-0.054i 0.017i'
 431 .sp -1
 432 \h'3.245i'\v'0.510i'\D'l-0.056i 0.011i'
 433 .sp -1
 434 \h'3.189i'\v'0.521i'\D'l-0.058i 0.005i'
 435 .sp -1
 436 \h'3.132i'\v'0.526i'\D'l-0.060i -0.001i'
 437 .sp -1
 438 \h'3.072i'\v'0.525i'\D'l-0.062i -0.007i'
 439 .sp -1
 440 \h'3.010i'\v'0.518i'\D'l-0.064i -0.013i'
 441 .sp -1
 442 \h'2.947i'\v'0.505i'\D'l-0.185i -0.038i'
 443 .sp -1
 444 \h'2.828i'\v'0.464i'\D'l-0.067i 0.003i'
 445 .sp -1
 446 \h'2.822i'\v'0.495i'\D'l-0.060i -0.029i'
 447 .sp -1
 448 \h'3.205i'\v'3.607i'\D'l0.905i 0.000i'
 449 .sp -1
 450 \h'2.106i'\v'1.862i'\v'.2m'\h'-\w'rexmit timeout'u/2u'rexmit timeout
 451 .sp -1
 452 \h'2.042i'\v'1.991i'\v'.2m'\h'-\w'rcv(Ilstate(-, -))'u/2u'rcv(Ilstate(-, -))
 453 .sp -1
 454 \h'1.518i'\v'2.050i'\D'l1.047i 0.000i'
 455 .sp -1
 456 \h'2.042i'\v'2.315i'\v'.2m'\h'-\w'rcvd))'u/2u'rcvd))
 457 .sp -1
 458 \h'2.884i'\v'1.819i'\D'a-0.269i 0.016i -0.250i -0.103i'
 459 .sp -1
 460 \h'2.382i'\v'1.668i'\D'l-0.017i 0.064i'
 461 .sp -1
 462 \h'2.411i'\v'1.684i'\D'l-0.046i 0.049i'
 463 .sp -1
 464 \h'2.365i'\v'2.250i'\D'a0.247i -0.061i 0.248i 0.059i'
 465 .sp -1
 466 \h'2.852i'\v'2.315i'\D'l0.008i -0.066i'
 467 .sp -1
 468 \h'2.822i'\v'2.303i'\D'l0.038i -0.055i'
 469 .sp -1
 470 \h'2.817i'\v'2.056i'\D'c0.905i'
 471 .sp -1
 472 \h'3.721i'\v'1.464i'\D'l0.066i 0.010i'
 473 .sp -1
 474 \h'3.734i'\v'1.434i'\D'l0.053i 0.040i'
 475 .sp -1
 476 \h'3.787i'\v'1.474i'\D'a-0.097i 0.147i -0.165i 0.061i'
 477 .sp -1
 478 \h'3.770i'\v'1.920i'\D'l-0.066i 0.008i'
 479 .sp -1
 480 \h'3.767i'\v'1.952i'\D'l-0.062i -0.024i'
 481 .sp -1
 482 \h'3.704i'\v'1.928i'\D'a0.071i -0.316i 0.206i 0.250i'
 483 .sp -1
 484 \h'3.721i'\v'2.024i'\D'l0.352i -0.010i'
 485 .sp -1
 486 \h'4.073i'\v'2.014i'\D'l0.279i 0.002i'
 487 .sp -1
 488 \h'4.352i'\v'2.016i'\D'l0.110i 0.007i'
 489 .sp -1
 490 \h'4.463i'\v'2.022i'\D'l0.088i 0.012i'
 491 .sp -1
 492 \h'4.551i'\v'2.034i'\D'l0.066i 0.017i'
 493 .sp -1
 494 \h'4.616i'\v'2.050i'\D'l0.043i 0.022i'
 495 .sp -1
 496 \h'4.660i'\v'2.072i'\D'l0.057i 0.053i'
 497 .sp -1
 498 \h'4.716i'\v'2.125i'\D'l0.040i 0.061i'
 499 .sp -1
 500 \h'2.728i'\v'3.345i'\D'l0.272i -0.213i'
 501 .sp -1
 502 \h'3.001i'\v'3.132i'\D'l0.255i -0.189i'
 503 .sp -1
 504 \h'3.256i'\v'2.943i'\D'l0.239i -0.165i'
 505 .sp -1
 506 \h'3.495i'\v'2.778i'\D'l0.222i -0.141i'
 507 .sp -1
 508 \h'3.716i'\v'2.637i'\D'l0.199i -0.115i'
 509 .sp -1
 510 \h'3.915i'\v'2.522i'\D'l0.170i -0.087i'
 511 .sp -1
 512 \h'4.084i'\v'2.435i'\D'l0.141i -0.058i'
 513 .sp -1
 514 \h'4.225i'\v'2.377i'\D'l0.059i -0.019i'
 515 .sp -1
 516 \h'4.284i'\v'2.358i'\D'l0.052i -0.012i'
 517 .sp -1
 518 \h'4.336i'\v'2.347i'\D'l0.170i -0.024i'
 519 .sp -1
 520 \h'4.506i'\v'2.323i'\D'l0.121i -0.008i'
 521 .sp -1
 522 \h'2.764i'\v'0.663i'\D'l0.880i 0.020i'
 523 .sp -1
 524 \h'3.644i'\v'0.683i'\D'l0.712i 0.023i'
 525 .sp -1
 526 \h'4.355i'\v'0.706i'\D'l0.287i 0.019i'
 527 .sp -1
 528 \h'4.642i'\v'0.725i'\D'l0.123i 0.014i'
 529 .sp -1
 530 \h'4.765i'\v'0.739i'\D'l0.109i 0.018i'
 531 .sp -1
 532 \h'4.874i'\v'0.757i'\D'l0.096i 0.021i'
 533 .sp -1
 534 \h'4.970i'\v'0.778i'\D'l0.082i 0.024i'
 535 .sp -1
 536 \h'5.053i'\v'0.802i'\D'l0.069i 0.027i'
 537 .sp -1
 538 \h'5.122i'\v'0.829i'\D'l0.055i 0.031i'
 539 .sp -1
 540 \h'5.177i'\v'0.860i'\D'l0.046i 0.035i'
 541 .sp -1
 542 \h'5.223i'\v'0.896i'\D'l0.040i 0.041i'
 543 .sp -1
 544 \h'5.263i'\v'0.937i'\D'l0.035i 0.047i'
 545 .sp -1
 546 \h'5.297i'\v'0.984i'\D'l0.029i 0.054i'
 547 .sp -1
 548 \h'5.326i'\v'1.038i'\D'l0.023i 0.060i'
 549 .sp -1
 550 \h'5.350i'\v'1.097i'\D'l0.018i 0.066i'
 551 .sp -1
 552 \h'5.368i'\v'1.163i'\D'l0.012i 0.072i'
 553 .sp -1
 554 \h'5.380i'\v'1.235i'\D'l0.007i 0.078i'
 555 .sp -1
 556 \h'5.387i'\v'1.313i'\D'l0.003i 0.168i'
 557 .sp -1
 558 \h'5.390i'\v'1.480i'\D'l-0.007i 0.180i'
 559 .sp -1
 560 \h'5.383i'\v'1.660i'\D'l-0.017i 0.192i'
 561 .sp -1
 562 \h'5.366i'\v'1.852i'\D'l-0.027i 0.204i'
 563 .sp -1
 564 \h'5.338i'\v'2.483i'\D'l-0.531i 1.677i'
 565 .sp -1
 566 \h'2.042i'\v'2.185i'\v'.2m'\h'-\w'snd(Ildataquerey(unacked,'u/2u'snd(Ildataquerey(unacked,
 567 .sp -1
 568 \h'3.852i'\v'1.668i'\D'l1.099i 0.000i'
 569 .sp -1
 570 \h'4.498i'\v'1.791i'\v'.2m'\h'-\w'snd(Ilstate(next, rcvd))'u/2u'snd(Ilstate(next, rcvd))
 571 .sp -1
 572 \h'4.433i'\v'1.474i'\v'.2m'\h'-\w'rcv(Ildataquerey(-,-))'u/2u'rcv(Ildataquerey(-,-))
 573 .sp -1
 574 \h'4.433i'\v'1.604i'\v'.2m'\h'-\w'rcv(Ilquerey(-,-))'u/2u'rcv(Ilquerey(-,-))
 575 .sp -1
 576 \h'2.171i'\v'5.094i'\v'.2m'\h'-\w'death timeout'u/2u'death timeout
 577 .sp -1
 578 \h'4.627i'\v'2.315i'\D'l0.065i 0.000i'
 579 .sp -1
 580 \h'4.627i'\v'2.331i'\D'l0.065i -0.016i'
 581 .sp -1
 582 \h'4.627i'\v'2.298i'\D'l0.065i 0.016i'
 583 .sp -1
 584 \h'4.757i'\v'2.185i'\D'l0.032i 0.039i'
 585 .sp -1
 586 \h'4.735i'\v'2.185i'\D'l0.054i 0.039i'
 587 .sp -1
 588 \h'4.760i'\v'2.164i'\D'l0.029i 0.060i'
 589 .sp -1
 590 \h'5.338i'\v'2.056i'\D'l-0.006i 0.052i'
 591 .sp -1
 592 \h'5.324i'\v'2.042i'\D'l0.008i 0.066i'
 593 .sp -1
 594 \h'5.356i'\v'2.046i'\D'l-0.024i 0.062i'
 595 .sp -1
 596 \h'0.814i'\v'3.284i'\v'.2m'\h'-\w'see message with'u/2u'see message with
 597 .sp -1
 598 .sp 1+5.243i
 599 .PE
 600 .if \n(00 .fi
 601 .lf 253