share/doc/papers/timecounter/tmac.usenix

   1 .\" $FreeBSD$
   2 .ds CC "
   3 .nr PS 10
   4 .nr FU 0.0i     \" priniter prints this much too low
   5 .nr VS 11
   6 .ds Q `\h'-0.02i'`
   7 .ds U '\h'-0.02i''
   8 .ds `` `\h'-0.02i'`
   9 .ds '' '\h'-0.02i''
  10 .\" footnote stuff
  11 .nr * 0 1
  12 .ds [. \|[
  13 .ds .] ]
  14 .if t .ds [, \s-2\v'-.4m'\f2
  15 .if n .ds [, [
  16 .if t .ds ,] \v'.4m'\s+2\fP
  17 .if n .ds ,] ]
  18 .ds * \*([,\\n+*\*(,]
  19 .ds [o ``
  20 .ds [c ''
  21 .ev 1
  22 .ps \n(PS
  23 .vs \n(VS
  24 .ev
  25 .de pp
  26 .PP
  27 ..
  28 .de PP
  29 .LP
  30 .if t .ti 0.3i
  31 .if n .ti 5
  32 ..
  33 .de LP
  34 .if t .sp 0.3
  35 .if n .sp
  36 .ne 1
  37 .in 0
  38 .nr Ia 0
  39 .nr Ic 0
  40 .fi
  41 ..
  42 .de IP
  43 .if t .sp 0.3
  44 .if n .sp
  45 .\" Ia = total indent for this guy
  46 .\" Ib = .ti value for this guy
  47 .\" Ic = auxiliary indent
  48 .nr Ib 0.0i
  49 .if \\n(Ia=0 .nr Ia 0.2i
  50 .if !\ 3\\$1\ 3\ 3 \{\
  51 .   nr Ia \w\ 3\\$1\ \ \ 3u
  52 .   nr Ib \\n(Ia
  53 .\}
  54 .if !\ 3\\$2\ 3\ 3 .nr Ia \\$2n
  55 .in \\n(Iau
  56 .in +\\n(Icu
  57 .ti -\\n(Ibu
  58 .if !\ 3\\$1\ 3\ 3 \{\
  59 \&\\$1\ \ \c
  60 .\}
  61 ..
  62 .de QP
  63 .IP
  64 ..
  65 .de RS
  66 .nr Ic +0.2i
  67 ..
  68 .de RE
  69 .nr Ic -0.2i
  70 ..
  71 .de PN
  72 .rs
  73 'sp |10.4i-\\n(FUu
  74 .rs
  75 'sp |10.4i-\\n(FUu       \" how many traps could there be?
  76 .rs
  77 'sp |10.4i-\\n(FUu
  78 .PO
  79 'ie e \{\
  80 .ev 2
  81 .\".if t 'tl \ 3\s10\f3%\ 3\ 3\\*(CC\fP\s0\ 3
  82 .ev
  83 '\}
  84 'el \{\
  85 .ev 2
  86 .\".if t 'tl \ 3\s10\f3\\*(CC\ 3\ 3%\fP\s0\ 3
  87 .ev
  88 '\}
  89 .po
  90 .wh 0 hh
  91 'bp
  92 ..
  93 .de ff
  94 .nr dn 0
  95 .if \\nx \{\
  96 . ev 1
  97 . vs \\n(VVu
  98 . mk QR
  99 ' nr QS 11i+0.5v-1u+\\nyu
 100 ' if \\n(QS>\\n(QR 'if t 'sp |\\n(QSu
 101 . nf
 102 . FN    \" print the footnotes
 103 . vs
 104 . rm FN
 105 . if \ 3\\n(.z\ 3fy\ 3 .br\" end overflow diversion
 106 . if \ 3\\n(.z\ 3fy\ 3 .di\" end overflow diversion
 107 . nr x 0 1
 108 . ev
 109 .\}
 110 .nr N +1
 111 .if \n(dn .fz   \" leftover footnote
 112 .ie \\nN<\\nC \{\
 113 '  if t 'sp |\\nTu
 114 '  ns
 115 '  po +3.12i    \" postition of 2nd column
 116 .\}
 117 .el \{\
 118 .  rF
 119 .  PN
 120 .  PO
 121 .  nr N 0
 122 .\}
 123 .nr y 0-\\nb
 124 .nr QQ 11i-\\nb
 125 .ch fx
 126 .ch ff
 127 .if t .wh \\n(QQu ff
 128 .if n .wh 66 ff
 129 .wh 12i fx
 130 .ch fx \\n(QQu
 131 .if \\n(dn .fz
 132 ..
 133 .de fz   \" get leftover footnote
 134 .FS \&
 135 .nf
 136 .fy
 137 .FE
 138 ..
 139 .de fx   \" footnote overflow processing
 140 .if \\nx .di fy
 141 ..
 142 .de FS  \" start a footnote
 143 .if \\n(.t<=1.7v .ne 2
 144 .da FN
 145 .nr YY \\n(.lu
 146 .ev 1
 147 .if t .ll \\n(YYu
 148 .if n .ll 70
 149 .if \\n+x=1 .fs
 150 .fi
 151 .ie \ 3\\$1\ 3\ 3 \ \ \*([,\\n*\*(,]\c
 152 .el \ \ \*([,\\$1\*(,]\c
 153 .ps -1
 154 .vs -1
 155 .nr VV \\n(.v
 156 ..
 157 .de FE
 158 .br
 159 .ps +1
 160 .vs +1
 161 .ev
 162 .da
 163 .nr y -\\n(dn
 164 .nr QR 11i-1v-1u+\\nyu   \" y is negative
 165 .ie \\n(nlu+1v<\\n(QRu .ch ff \\n(QRu
 166 .el .ch ff \\n(nlu+1v
 167 ..
 168 .de fs
 169 .br
 170 .vs \\n(VS
 171 \v'-0.4v'\s16\D'l 1.5i 0'\s0
 172 .sp -0.4v
 173 .vs
 174 ..
 175 .de PO
 176 .if t \{\
 177 .ie e .po 1.20i
 178 .el   .po 1.20i
 179 .\}
 180 .if n .po 0
 181 ..
 182 .de NC
 183 'PO
 184 .if t 'll \\n(LLu
 185 .if n 'll 78
 186 'nr N 0
 187 ..
 188 .de 2C
 189 .br
 190 .nr LL 2.85i
 191 'NC
 192 'nr C 2
 193 'mk T
 194 'ns
 195 ..
 196 .de 1C
 197 .br
 198 .if t .nr LL 6.5i
 199 .if n .nr LL 78
 200 .NC
 201 'nr C 1
 202 'mk T
 203 'ns
 204 ..
 205 .de rF  \" reset footer to nominal
 206 .nr b 1.0i+\\n(FUu      \" nominal footer place
 207 ..
 208 .rF
 209 'nr x 0 1       \" init:
 210 .nr y 0-\nb
 211 .pl 11i
 212 .nr QQ 11i+\ny
 213 .wh \n(QQu ff
 214 .wh 12i fx
 215 .ch fx \n(QQu
 216 .de hh
 217 'rs
 218 'if t 'sp |0.5i-\\n(FUu
 219 .PO
 220 'ie e \{\
 221 .ev 2
 222 'if t 'tl \ 3\s10\f3\\*(T2\ 3\ 3\\*(A2\fP\s0\ 3
 223 .ev
 224 '\}
 225 'el \{\
 226 .ev 2
 227 'if t 'tl \ 3\s10\f3\\*(A2\ 3\ 3\\*(T2\fP\s0\ 3
 228 .ev
 229 '\}
 230 'if t 'sp |1i-\\n(FUu
 231 'mk T
 232 'ns
 233 'nr x 0 1       \" number of footnotes
 234 .nr y 0-\\nb
 235 .nr QQ 11i+\\ny
 236 .ch ff
 237 .wh \\n(QQu ff
 238 .ch fx
 239 .wh 12i fx
 240 .ch fx \\n(QQu
 241 ..
 242 .\"-------------------
 243 .de TI
 244 .nh
 245 .rs
 246 .in 0i
 247 .nr % \\$1
 248 .fi
 249 .nr QS \\n(.lu
 250 .ll 100i
 251 .ps 14
 252 .vs 17
 253 .ft 3
 254 .ds TT \\
 255 ..
 256 .de AA
 257 .nr DL \w\ 3\\*(TT\ 3
 258 .nr NN 1
 259 .nr NL \\n(QSu-1i       \" a nice line length for title
 260 .if \\n(NLu*\\n(NNu<\\n(DLu .nr NN +1
 261 .if \\n(NLu*\\n(NNu<\\n(DLu .nr NN +1
 262 .if \\n(NLu*\\n(NNu<\\n(DLu .nr NN +1
 263 .if \\n(NLu*\\n(NNu<\\n(DLu .nr NN +1
 264 .if \\n(NLu*\\n(NNu<\\n(DLu .nr NN +1
 265 .nr QR (\\n(DLu/\\n(NNu)+0.75i  \" +.75 cuz words don't always balance
 266 .ll \\n(QRu
 267 .di TU
 268 .ad l
 269 \\*(TT
 270 .br
 271 .di
 272 .sp |1.0i-\\n(FUu
 273 .nr NP 0
 274 .if \\n(QSu>\\n(QRu .nr NP (\\n(QSu-\\n(QRu)/2u
 275 .po +\\n(NPu
 276 .ce 999
 277 .TU
 278 .ce 0
 279 .po
 280 .ll \\n(QSu
 281 .sp 0.1i
 282 .ft 1
 283 .ps 12
 284 .vs 14
 285 .sp 0.5
 286 ..
 287 .de A           \" .A "Brian Author" "Affiliation"
 288 .in 0
 289 .ie !\ 3\\$2\ 3\ 3 \{\
 290 .ce
 291 \f1\\$1
 292 .ce
 293 \f2\\$2
 294 .\}
 295 .el \{\
 296 .ce
 297 \f1\\$1\f2
 298 .\}
 299 ..
 300 .de AB
 301 .sp 0.20i
 302 .po +0.5i
 303 .ll -1.125i
 304 .ce
 305 \f3\s12ABSTRACT\s0\f1
 306 .sp 0.5
 307 .ps \\n(PS
 308 .vs \\n(VS
 309 .ad b
 310 .fi
 311 ..
 312 .de EA
 313 .sp
 314 .if t .2C
 315 .if n .1C
 316 .hy 14
 317 ..
 318 .de AE
 319 .EA
 320 ..
 321 .de SH
 322 .br
 323 .in 0
 324 .di St
 325 .ft 3
 326 .it 1 S2
 327 ..
 328 .de SH
 329 .NH "\\$1" "\\$2" "\\$3"
 330 ..
 331 .de S2
 332 .br
 333 .di
 334 .sp 0.75
 335 .ne 3
 336 .ce
 337 .St
 338 .br
 339 .ft 1
 340 .sp 0.5
 341 .ns
 342 ..
 343 .de NH
 344 .br
 345 .ne 2
 346 .in 0
 347 .nr Ia 0
 348 .nr Ic 0
 349 .fi
 350 .nr L 1
 351 .if !\ 3\\$1\ 3\ 3 .nr L \\$1\" level
 352 .if \ 3\\nL\ 31\ 3 .ft 3
 353 .if \ 3\\nL\ 32\ 3 .ft 3
 354 .if \ 3\\nL\ 33\ 3 .ft 2
 355 .di Nt
 356 .in 0.3i
 357 .ti 0
 358 .it 1 N2
 359 ..
 360 .de N2
 361 .br
 362 .in 0
 363 .di
 364 .if t .if \ 3\\nL\ 31\ 3 .sp 0.75
 365 .if t .if \ 3\\nL\ 32\ 3 .sp 0.25
 366 .if t .if \ 3\\nL\ 33\ 3 .sp 0.25
 367 .if t .if \ 3\\nL\ 34\ 3 .sp 0.25
 368 .if n .sp
 369 .ne 3
 370 .if \ 3\\nL\ 31\ 3 .ce
 371 .Nt
 372 .br
 373 .ft 1
 374 .if t .if \ 3\\nL\ 31\ 3 .sp 0.50
 375 .if t .if \ 3\\nL\ 32\ 3 .sp 0.25
 376 .if t .if \ 3\\nL\ 33\ 3 .sp 0.25
 377 .if t .if \ 3\\nL\ 34\ 3 .sp 0.25
 378 .if n .sp
 379 .ns
 380 ..
 381 .de XP
 382 .sp 0.5
 383 .ne 2
 384 .in \w\ 3[3]\ \ \ 3u
 385 .ti 0
 386 .ns
 387 ..
 388 .de I
 389 .nr PQ \\n(.f
 390 .ft 2
 391 .if !"\\$1"" \&\\$1\\f\\n(PQ\\$2
 392 ..
 393 .de R
 394 .ft 1
 395 ..
 396 .de B
 397 .nr PQ \\n(.f
 398 .ft 3
 399 .if !\ 3\\$1\ 3\ 3 \&\\$1\\f\\n(PQ\\$2
 400 ..
 401 .de T
 402 .nr PQ \\n(.f
 403 .if !\ 3\\$1\ 3\ 3 \&\\$3\f(CW\\$1\\f\\n(PQ\\$2
 404 ..
 405 .de Ds
 406 'sp 0.4
 407 'nr DY \\n(.i
 408 'in 0.1i
 409 .if !\ 3\ 3\\$1\ 3 .in \\$1
 410 .ft CW
 411 .nf
 412 ..
 413 .de DS
 414 .br
 415 .Ds \\$1
 416 ..
 417 .de DE
 418 .br
 419 .De
 420 ..
 421 .de De
 422 'sp 0.4
 423 .in \\n(DYu
 424 .ft 1
 425 .fi
 426 ..
 427 .de np
 428 .br
 429 .in \w\ 3\(bu\ \ \ 3u
 430 .ti -\w\ 3\(bu\ \ \ 3u
 431 \(bu\ \ \c
 432 ..
 433 .de lp
 434 .br
 435 .in 0
 436 ..
 437 .de TS
 438 .br
 439 .ul 0
 440 .sp 0.5
 441 ..
 442 .de TE
 443 .sp 0.5
 444 ..
 445 .de RT
 446 .ft 1
 447 .ce 0
 448 .ul 0
 449 .if t 'll \\n(LLu
 450 .if n 'll \\n(LL
 451 .ps \\n(PS
 452 .vs \\n(VS
 453 .in 0
 454 .\"bd 1
 455 .ta 5n 10n 15n 20n 25n 30n 35n 40n 45n 50n 55n 60n 65n 70n 75n 80n
 456 .fi
 457 ..
 458 .de KF
 459 'sp 0.4
 460 .ev 2
 461 .nr Zs \\n(.s
 462 .nr Zv \\n(.v
 463 .ll \\n(LLu
 464 .in 0
 465 ..
 466 .de KE
 467 .br
 468 .ps \\n(Zs
 469 .vs \\n(Zvu
 470 .ev
 471 'sp 0.4
 472 ..
 473 .de UX
 474 \\$3\s-2UNIX\s0\\$1\\$2
 475 ..
 476 .de SM
 477 .ps -2
 478 ..
 479 .       \" LG - larger
 480 .de LG
 481 .ps +2
 482 ..
 483 .de EB
 484 .nr QQ 11i-\\nb-\\$1
 485 .nr b +\\n(QQu
 486 .nr y 0+\\nyu-\\n(QQu
 487 .nr QQ 11i+\\ny
 488 .ch ff
 489 .wh \\n(QQu ff
 490 .ch fx
 491 .wh 12i fx
 492 .ch fx \\n(QQu
 493 ..
 494 .\"==============================================
 495 .de Zz
 496 .if \\nN=1 'ch Zz
 497 'sp 11i
 498 ..
 499 .de Z
 500 .br
 501 .mk Qz
 502 .ev 2
 503 .nr Qy \\n(.l
 504 .ll 6.5i
 505 .di J
 506 .in 0
 507 .ft 1
 508 ..
 509 .de ZZ
 510 .br
 511 .if !\ 3\\$1\ 3\ 3 \{\
 512 .  if !\ 3\\$2\ 3\ 3 .ll \\$2
 513 .  sp 0.4
 514 .  ce
 515 .  ft 1
 516 \\$1
 517 .  ft
 518 .  if !\ 3\\$2\ 3\ 3 .ll
 519 .\}
 520 .di
 521 .ev
 522 .nr QQ \\n(.t-\\n(dn-10u
 523 .if \\n(QQ<0 .tm oops -- called Z too late on page \\n%!
 524 .if \\n(QQ<0 .ex
 525 .sp \\n(QQu
 526 .mk Q2
 527 .ev 2
 528 .in 0
 529 .nf
 530 .J
 531 .fi
 532 .rm J
 533 .ll \\n(.lu
 534 .ev
 535 .sp |\\n(Qzu
 536 .nr QQ \\n(Q2-0.8v
 537 .EB \\n(QQu
 538 ..
 539 .\"======================================================
 540 .de KS
 541 .\".tm KS:  Not implemented yet
 542 ..
 543 .de KE
 544 .\".tm KE:  Not implemented yet
 545 ..
 546 .de KF
 547 .\".tm KF:  Not implemented yet
 548 ..
 549 .ds ' \h'\w'e'u*4/10'\z\(aa\h'-\w'e'u*4/10'
 550 .de BE
 551 .br
 552 ..
 553 .lt 6.5i
 554 .de T1
 555 .ds T2 \\$1
 556 ..
 557 .de A1
 558 .ds A2 \\$1
 559 ..
 560 .nr P1 1.1i             \" picture width
 561 .nr P2 14u*\n(P1u/10u   \" picture depth
 562 .de BB
 563 .in 0
 564 .\".nr QQ \\n(P2+0.1i
 565 .\".ne \\n(QQu
 566 .\".rs
 567 .\".ll -\\n(P1u
 568 .\".ll -0.1i
 569 .\".po +\\n(.lu+0.1i
 570 .\".sp 0.3
 571 .\"
 572 .\".sp -0.8
 573 .\"\!H\\n(.o
 574 .\".mk QQ
 575 .\"\!V\\n(QQ
 576 .\"\!DZ \\n(P1 \\n(P2
 577 .\".ie \ 3\\$1\ 3\ 3 .tm Picture not yet inserted for .BB
 578 .\".el \!P \\$1
 579 .\".sp -0.3
 580 .\".po
 581 .\".sp -1
 582 .\".if \ 3\\$1\ 3\ 3 \{\
 583 .\"\h'0.1i'\h'\\n(.lu'\D'l \\n(P1u 0'\D'l 0 \\n(P2u'\D'l -\\n(P1u 0'\D'l 0 -\\n(P2u'
 584 .\".sp -1
 585 .\".\}
 586 .\".sp 0.8
 587 .\".mk QQ
 588 .\".nr QQ +\\n(P2u
 589 .\".wh \\n(QQu Bb
 590 .\"=====
 591 .\" ::: .sp 1
 592 .\" ::: .ne 2
 593 .if \\n(SB=0 \{\
 594 .NH 1
 595 Author Information
 596 .\}
 597 .nr SB 1
 598 .PP
 599 ..
 600 .de Bb
 601 'ch Bb
 602 'll +\\n(P1u
 603 'll +0.1i
 604 ..
 605 .de GS
 606 .br
 607 ..
 608 .de GE
 609 ..
 610 .nr SL 0.3
 611 .nr LI 0.28i
 612 .de BL         \" begin list
 613 .br
 614 .sp \\n(SL
 615 .in +\\n(LIu
 616 .ll -0.1i
 617 .if \\n(Ld \{\
 618 .  ds Z\\n(Ld \\*(LT
 619 .  af LN 1
 620 .  nr N\\n(Ld \\n(LN
 621 .  ds C\\n(Ld \\*(LC
 622 .\}
 623 .nr Ld +1
 624 .ds LT \\$1\" LT is the List Type: 1, a, or a bulletchar
 625 .if \ 3\\$1\ 3\ 3 .if '\\n(Ld'1'.ds LT \(bu
 626 .if \ 3\\$1\ 3\ 3 .if '\\n(Ld'2'.ds LT \(ci
 627 .if \ 3\\$1\ 3\ 3 .if '\\n(Ld'3'.ds LT \(sq
 628 .if '\\*(LT'1' .af LN \\$1
 629 .if '\\*(LT'i' .af LN \\$1
 630 .if '\\*(LT'I' .af LN \\$1
 631 .if '\\*(LT'a' .af LN \\$1
 632 .if '\\*(LT'A' .af LN \\$1
 633 .nr LN 0        \" LN is the list element number
 634 .ds LC\\$2
 635 .\" LC is the optional bullet trailer...
 636 ..
 637 .de LE            \" list element
 638 .br
 639 .ie '\\$1'' .nr LN +1
 640 .el \{\
 641 .   nr LN 0
 642 .   nr LN \\$1
 643 .\}
 644 .ds LX \\*(LT\\*(LC
 645 .if \ 3\\*(LT\ 31\ 3 .ds LX \\n(LN\\*(LC
 646 .if \ 3\\*(LT\ 3a\ 3 .ds LX \\n(LN\\*(LC
 647 .if \ 3\\*(LT\ 3A\ 3 .ds LX \\n(LN\\*(LC
 648 .if \ 3\\*(LT\ 3i\ 3 .ds LX \\n(LN\\*(LC
 649 .if \ 3\\*(LT\ 3I\ 3 .ds LX \\n(LN\\*(LC
 650 .if \\n(LN=0 \{\
 651 .    if !'\\$1'' .ds LX \\$1\\*(LC
 652 .\}
 653 .nr QQ 3u*\w' 'u/2u
 654 .ti -\\w'\\*(LX\h'\\n(QQu''u
 655 \\*(LX\h'\\n(QQu'\c
 656 ..
 657 .de EL             \" end list
 658 .br
 659 .nr Ld -1
 660 .if \\n(Ld>=0 \{\
 661 .  ds LT \\*(Z\\n(Ld
 662 .  nr LN \\n(N\\n(Ld
 663 .  ds LC \\*(C\\n(Ld
 664 .if '\\*(LT'1' .af LN \\*(LT
 665 .if '\\*(LT'i' .af LN \\*(LT
 666 .if '\\*(LT'I' .af LN \\*(LT
 667 .if '\\*(LT'a' .af LN \\*(LT
 668 .if '\\*(LT'A' .af LN \\*(LT
 669 . \}
 670 .in -\\n(LIu
 671 .ll +0.1i
 672 ..
 673 .de F1
 674 .in 0
 675 \v'-0.4'\D'l \\n(.lu 0'
 676 .sp -0.7
 677 .in
 678 ..
 679 .de F2
 680 .mk QQ
 681 .if !'\\nT'\\n(QQ' \{\
 682 .in 0
 683 \v'-0.4'\D'l \\n(.lu 0'
 684 .sp -0.4
 685 .in
 686 .\}
 687 ..
 688 .de EM
 689 .br
 690 .if o \{\
 691 .ds A2
 692 .ds T2
 693 .rs
 694 .bp
 695 .ch ff
 696 .ch fx
 697 .PO
 698 .rs
 699 .sp |10.4i-\\n(FUu
 700 .mk QQ
 701 'ie e \{\
 702 . ev 2
 703 .if t 'tl \ 3\s10\f3%\ 3\ 3\\*(CC\fP\s0\ 3
 704 . ev
 705 '  \}
 706 'el \{\
 707 . ev 2
 708 .if t 'tl \ 3\s10\f3\\*(CC\ 3\ 3%\fP\s0\ 3
 709 . ev
 710 '  \}
 711 .\}
 712 ..
 713 .de RF
 714 .sp 0.1
 715 .in 0.3i
 716 .ie !\ 3\\$1\ 3\ 3 \{\
 717 .nr QQ \w'\\$1\ '
 718 .ti -\\n(QQu
 719 \\$1\ \c
 720 .\}
 721 .el .ti 0
 722 ..
 723 .de RZ
 724 .sp 0.1
 725 .in 0.3i
 726 .nr QQ \w'\\$1\ '
 727 .ti -\\n(QQu
 728 \\$1\ \c
 729 ..
 730 .de zz
 731 .tm note:  .zz is not implemented.
 732 .ex
 733 .nr Z1 \\$1
 734 .nr Z2 \\$2
 735 .if \\n(.t<\\n(Z2 .tm \anote that figure ``\\$3'' does not fit at column bottom ------------------------ on page \\n%
 736 .ie '\\n(.z'' \{\
 737 .sp 0.2
 738 .ne \\n(Z2u
 739 \\!H\\n(.o
 740 .mk QQ
 741 .nr QQ +0.25v
 742 \\!V\\n(QQ
 743 \\!DZ \\n(Z1 \\n(Z2
 744 \\!P \\$3
 745 .rs
 746 .sp \\n(Z2u
 747 .sp 0.2
 748 .\}
 749 .el \{\
 750 .sp 0.2
 751 \\!.z3 \\n(Z1 \\n(Z2 "\\$3" \\n(.o
 752 .sp \\n(Z2u
 753 .sp 0.2
 754 .\}
 755 ..
 756 .de z2
 757 .nr Z1 \\$1
 758 .nr Z2 \\$2
 759 .sp 0.2
 760 .ne \\n(Z2u
 761 .nr QQ (\\n(.lu-\\$1)/2u
 762 .sp \\n(Z2u
 763 .vs 0
 764 .po +\\n(QQu
 765 \X'ps: import \\$3 0 0 1 1 \\n(Z1 \\n(Z2'
 766 .br
 767 .po -\\n(QQu
 768 .vs
 769 .rs
 770 .sp 0.2
 771 ..
 772 .de sz
 773 .vs \\$1
 774 .ps \\$1
 775 ..
 776 .de M
 777 \f2\\$1\f1\|(\\$2)\\$3
 778 ..
 779 .de B1
 780 .br
 781 .mk Bz
 782 ..
 783 .de B2
 784 .br
 785 .mk By
 786 .nr D \\n(Byu-\\n(Bzu
 787 .nr L \\n(.lu+0.2i-\\n(.iu
 788 \h'-0.1i'\v'-0.7v'\D'l \\nLu 0'\D'l 0 -\\nDu'\D'l -\\nLu 0'\D'l 0 \\nDu'
 789 .sp -1
 790 ..
 791 .de []
 792 .][ \\$1
 793 ..
 794 .de ][
 795 .if \\$1>5 .tm Bad arg to []
 796 .[\\$1
 797 ..
 798 .de [5 \" tm style
 799 .FS
 800 \\*([A, \\f2\\*([T\\f1,
 801 .ie \\n(TN \\*([M.
 802 .el Bell Laboratories internal memorandum (\\*([D).
 803 .RT
 804 .FE
 805 ..
 806 .de [0 \" other
 807 .FS
 808 .nr [: 0
 809 .if !\ 3\\*([F\ 3\ 3 .FP \\*([F
 810 .if !\ 3\\*([Q\ 3\ 3 \{\
 811 .nr [: 1
 812 \\*([Q\c
 813 .\}
 814 .if !\ 3\\*([A\ 3\ 3 \{\
 815 .nr [: 1
 816 \\*([A\c
 817 .\}
 818 .if !\ 3\\*([T\ 3\ 3 \{\
 819 .if \\n([:>0 ,
 820 .nr [: 1
 821 \f2\\*([T\f1\c
 822 .\}
 823 .if !\ 3\\*([S\ 3\ 3 , \\*([S\c
 824 .if !\ 3\\*([V\ 3\ 3 , \\*([V\c
 825 .if !\ 3\\*([P\ 3\ 3 \{\
 826 .ie \\n([P>0 , pp. \\*([P\c
 827 .el , p. \\*([P\c
 828 .\}
 829 .if !\ 3\\*([C\ 3\ 3 , \\*([C\c
 830 .if !\ 3\\*([D\ 3\ 3 , \\*([D\c
 831 .if \\n([:>0 \&.
 832 .if !\ 3\\*([O\ 3\ 3 \\*([O
 833 .FE
 834 ..
 835 .de [1
 836 .FS
 837 .if !\ 3\\*([F\ 3\ 3 .FP \\*([F
 838 .if !\ 3\\*([Q\ 3\ 3 \\*([Q,
 839 .if !\ 3\\*([A\ 3\ 3 \\*([A,
 840 .if !\ 3\\*([T\ 3\ 3 \\*([o\\*([T,\\*([c
 841 \f2\\*([J\f1\c
 842 .if !\ 3\\*([V\ 3\ 3 , vol. \\*([V\c
 843 .if !\ 3\\*([N\ 3\ 3 , no. \\*([N\c
 844 .if !\ 3\\*([P\ 3\ 3 \{\
 845 .ie \\n([P>0 , pp. \\*([P\c
 846 .el , p. \\*([P\c
 847 .\}
 848 .if !\ 3\\*([I\ 3\ 3 , \\*([I\c
 849 .if !\ 3\\*([C\ 3\ 3 , \\*([C\c
 850 .if !\ 3\\*([D\ 3\ 3 , \\*([D\c
 851 \&.
 852 .if !\ 3\\*([O\ 3\ 3 \\*([O
 853 .FE
 854 ..
 855 .de [2 \" book
 856 .FS
 857 .if !\ 3\\*([F\ 3\ 3 .FP \\*([F
 858 .if !\ 3\\*([Q\ 3\ 3 \\*([Q,
 859 .if !\ 3\\*([A\ 3\ 3 \\*([A,
 860 .if !\ 3\\*([T\ 3\ 3 \f2\\*([T,\f1
 861 .if !\ 3\\*([S\ 3\ 3 \\*([S,
 862 .if !\ 3\\*([V\ 3\ 3 \\*([V,
 863 .if !\ 3\\*([P\ 3\ 3 \{\
 864 .ie \\n([P>0 pp. \\*([P,
 865 .el p. \\*([P,
 866 .\}
 867 \\*([I\c
 868 .if !\ 3\\*([C\ 3\ 3 , \\*([C\c
 869 .if !\ 3\\*([D\ 3\ 3 , \\*([D\c
 870 \&.
 871 .if !\ 3\\*([O\ 3\ 3 \\*([O
 872 .FE
 873 ..
 874 .de [4 \" report
 875 .FS
 876 .if !\ 3\\*([F\ 3\ 3 .FP \\*([F
 877 .if !\ 3\\*([Q\ 3\ 3 \\*([Q,
 878 .if !\ 3\\*([A\ 3\ 3 \\*([A,
 879 .if !\ 3\\*([T\ 3\ 3 \\*([o\\*([T,\\*([c
 880 .if !\ 3\\*([R\ 3\ 3 \\*([R\c
 881 .if !\ 3\\*([G\ 3\ 3 \& (\\*([G)\c
 882 .if !\ 3\\*([P\ 3\ 3 \{\
 883 .ie \\n([P>0 , pp. \\*([P\c
 884 .el , p. \\*([P\c
 885 .\}
 886 .if !\ 3\\*([I\ 3\ 3 , \\*([I\c
 887 .if !\ 3\\*([C\ 3\ 3 , \\*([C\c
 888 .if !\ 3\\*([D\ 3\ 3 , \\*([D\c
 889 \&.
 890 .if !\ 3\\*([O\ 3\ 3 \\*([O
 891 .FE
 892 ..
 893 .de [3 \" article in book
 894 .FS
 895 .if !\ 3\\*([F\ 3\ 3 .FP \\*([F
 896 .if !\ 3\\*([Q\ 3\ 3 \\*([Q,
 897 .if !\ 3\\*([A\ 3\ 3 \\*([A,
 898 .if !\ 3\\*([T\ 3\ 3 \\*([o\\*([T,\\*([c
 899 in \f2\\*([B\f1\c
 900 .if !\ 3\\*([E\ 3\ 3 , ed. \\*([E\c
 901 .if !\ 3\\*([S\ 3\ 3 , \\*([S\c
 902 .if !\ 3\\*([V\ 3\ 3 , vol. \\*([V\c
 903 .if !\ 3\\*([P\ 3\ 3 \{\
 904 .ie \\n([P>0 , pp. \\*([P\c
 905 .el , p. \\*([P\c
 906 .\}
 907 .if !\ 3\\*([I\ 3\ 3 , \\*([I\c
 908 .if !\ 3\\*([C\ 3\ 3 , \\*([C\c
 909 .if !\ 3\\*([D\ 3\ 3 , \\*([D\c
 910 \&.
 911 .if !\ 3\\*([O\ 3\ 3 \\*([O
 912 .FE
 913 ..
 914 .de [<
 915 .]>
 916 ..
 917 .de ]<
 918 .SH
 919 References
 920 .LP
 921 .de FP
 922 .\".IP \\\\$1.
 923 .RZ \\\\$1.
 924 \\..
 925 .rm FS FE
 926 ..
 927 .de [>
 928 .]>
 929 ..
 930 .de ]>
 931 .sp
 932 ..
 933 .de [-
 934 .]-
 935 ..
 936 .de ]-
 937 .rm [Q [A [T [J [B [E [S [V
 938 .rm [N [P [I [C [D [O [R [G
 939 ..
 940 .de FG
 941 .ds QQ \fB\\$1\\fP:  \\$2
 942 .ie \w\ 3\\*(QQ\ 3>\\n(.l \{\
 943 .in +0.25i
 944 .ti 0
 945 \\*(QQ
 946 .in 0
 947 .\}
 948 .el \{\
 949 .ce
 950 \\*(QQ
 951 .\}
 952 ..
 953 .1C