/ Usenet 1994 October / usenetsourcesnewsgroupsinfomagicoctober1994disk2.iso / std_unix / v21 / 156

< prev

next >

MacOS 8.1

Win98

DOS

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 46 72 6f 6d 20 73 74 64 | 2d 75 6e 69 78 2d 72 65 |From std|-unix-re|
|00000010| 71 75 65 73 74 40 75 75 | 6e 65 74 2e 75 75 2e 6e |quest@uu|net.uu.n|
|00000020| 65 74 20 20 4d 6f 6e 20 | 4f 63 74 20 20 31 20 31 |et  Mon |Oct  1 1|
|00000030| 34 3a 33 31 3a 31 30 20 | 31 39 39 30 0a 52 65 63 |4:31:10 |1990.Rec|
|00000040| 65 69 76 65 64 3a 20 66 | 72 6f 6d 20 63 73 2e 75 |eived: f|rom cs.u|
|00000050| 74 65 78 61 73 2e 65 64 | 75 20 62 79 20 75 75 6e |texas.ed|u by uun|
|00000060| 65 74 2e 75 75 2e 6e 65 | 74 20 28 35 2e 36 31 2f |et.uu.ne|t (5.61/|
|00000070| 31 2e 31 34 29 20 77 69 | 74 68 20 53 4d 54 50 20 |1.14) wi|th SMTP |
|00000080| 0a 09 69 64 20 41 41 30 | 32 31 34 38 3b 20 4d 6f |..id AA0|2148; Mo|
|00000090| 6e 2c 20 31 20 4f 63 74 | 20 39 30 20 31 34 3a 33 |n, 1 Oct| 90 14:3|
|000000a0| 31 3a 31 30 20 2d 30 34 | 30 30 0a 50 6f 73 74 65 |1:10 -04|00.Poste|
|000000b0| 64 2d 44 61 74 65 3a 20 | 31 20 4f 63 74 20 39 30 |d-Date: |1 Oct 90|
|000000c0| 20 30 35 3a 35 30 3a 34 | 33 20 47 4d 54 0a 52 65 | 05:50:4|3 GMT.Re|
|000000d0| 63 65 69 76 65 64 3a 20 | 62 79 20 63 73 2e 75 74 |ceived: |by cs.ut|
|000000e0| 65 78 61 73 2e 65 64 75 | 20 28 35 2e 36 34 2f 31 |exas.edu| (5.64/1|
|000000f0| 2e 37 36 29 20 0a 46 72 | 6f 6d 3a 20 6f 6b 40 67 |.76) .Fr|om: ok@g|
|00000100| 6f 61 6e 6e 61 2e 63 73 | 2e 72 6d 69 74 2e 4f 5a |oanna.cs|.rmit.OZ|
|00000110| 2e 41 55 20 28 52 69 63 | 68 61 72 64 20 41 2e 20 |.AU (Ric|hard A. |
|00000120| 4f 27 4b 65 65 66 65 29 | 0a 4e 65 77 73 67 72 6f |O'Keefe)|.Newsgro|
|00000130| 75 70 73 3a 20 63 6f 6d | 70 2e 73 74 64 2e 75 6e |ups: com|p.std.un|
|00000140| 69 78 2c 63 6f 6d 70 2e | 6c 61 6e 67 2e 70 72 6f |ix,comp.|lang.pro|
|00000150| 6c 6f 67 0a 53 75 62 6a | 65 63 74 3a 20 52 65 3a |log.Subj|ect: Re:|
|00000160| 20 53 74 61 6e 64 61 72 | 64 73 20 55 70 64 61 74 | Standar|ds Updat|
|00000170| 65 2c 20 55 2e 53 2e 20 | 54 41 47 20 74 6f 20 49 |e, U.S. |TAG to I|
|00000180| 53 4f 2f 49 45 43 2f 4a | 54 43 31 2f 53 43 32 32 |SO/IEC/J|TC1/SC22|
|00000190| 20 57 47 31 35 0a 4d 65 | 73 73 61 67 65 2d 49 64 | WG15.Me|ssage-Id|
|000001a0| 3a 20 3c 35 36 34 40 75 | 73 65 6e 69 78 2e 4f 52 |: <564@u|senix.OR|
|000001b0| 47 3e 0a 52 65 66 65 72 | 65 6e 63 65 73 3a 20 3c |G>.Refer|ences: <|
|000001c0| 35 35 39 40 75 73 65 6e | 69 78 2e 4f 52 47 3e 0a |559@usen|ix.ORG>.|
|000001d0| 53 65 6e 64 65 72 3a 20 | 6a 73 71 40 75 73 65 6e |Sender: |jsq@usen|
|000001e0| 69 78 2e 4f 52 47 0a 46 | 6f 6c 6c 6f 77 75 70 2d |ix.ORG.F|ollowup-|
|000001f0| 54 6f 3a 20 63 6f 6d 70 | 2e 6c 61 6e 67 2e 70 72 |To: comp|.lang.pr|
|00000200| 6f 6c 6f 67 0a 4f 72 67 | 61 6e 69 7a 61 74 69 6f |olog.Org|anizatio|
|00000210| 6e 3a 20 43 6f 6d 70 20 | 53 63 69 2c 20 52 4d 49 |n: Comp |Sci, RMI|
|00000220| 54 2c 20 4d 65 6c 62 6f | 75 72 6e 65 2c 20 41 75 |T, Melbo|urne, Au|
|00000230| 73 74 72 61 6c 69 61 0a | 58 2d 53 75 62 6d 69 73 |stralia.|X-Submis|
|00000240| 73 69 6f 6e 73 3a 20 73 | 74 64 2d 75 6e 69 78 40 |sions: s|td-unix@|
|00000250| 75 75 6e 65 74 2e 75 75 | 2e 6e 65 74 0a 44 61 74 |uunet.uu|.net.Dat|
|00000260| 65 3a 20 31 20 4f 63 74 | 20 39 30 20 30 35 3a 35 |e: 1 Oct| 90 05:5|
|00000270| 30 3a 34 33 20 47 4d 54 | 0a 52 65 70 6c 79 2d 54 |0:43 GMT|.Reply-T|
|00000280| 6f 3a 20 73 74 64 2d 75 | 6e 69 78 40 75 75 6e 65 |o: std-u|nix@uune|
|00000290| 74 2e 75 75 2e 6e 65 74 | 0a 54 6f 3a 20 73 74 64 |t.uu.net|.To: std|
|000002a0| 2d 75 6e 69 78 40 75 75 | 6e 65 74 2e 75 75 2e 6e |-unix@uu|net.uu.n|
|000002b0| 65 74 0a 0a 53 75 62 6d | 69 74 74 65 64 2d 62 79 |et..Subm|itted-by|
|000002c0| 3a 20 6f 6b 40 67 6f 61 | 6e 6e 61 2e 63 73 2e 72 |: ok@goa|nna.cs.r|
|000002d0| 6d 69 74 2e 4f 5a 2e 41 | 55 20 28 52 69 63 68 61 |mit.OZ.A|U (Richa|
|000002e0| 72 64 20 41 2e 20 4f 27 | 4b 65 65 66 65 29 0a 0a |rd A. O'|Keefe)..|
|000002f0| 49 6e 20 61 72 74 69 63 | 6c 65 20 3c 35 35 39 40 |In artic|le <559@|
|00000300| 75 73 65 6e 69 78 2e 4f | 52 47 3e 20 69 6e 20 63 |usenix.O|RG> in c|
|00000310| 6f 6d 70 2e 73 74 64 2e | 75 6e 69 78 2c 0a 6a 73 |omp.std.|unix,.js|
|00000320| 68 40 75 73 65 6e 69 78 | 2e 6f 72 67 20 28 4a 65 |h@usenix|.org (Je|
|00000330| 66 66 72 65 79 20 53 2e | 20 48 61 65 6d 65 72 29 |ffrey S.| Haemer)|
|00000340| 20 77 72 6f 74 65 3a 0a | 0a 3e 20 57 65 20 63 61 | wrote:.|.> We ca|
|00000350| 6e 6e 6f 74 20 64 65 6c | 61 79 20 6c 61 6e 67 75 |nnot del|ay langu|
|00000360| 61 67 65 20 69 6e 64 65 | 70 65 6e 64 65 6e 63 65 |age inde|pendence|
|00000370| 20 66 6f 72 20 31 30 30 | 33 2e 31 20 61 6e 79 20 | for 100|3.1 any |
|00000380| 6c 6f 6e 67 65 72 2e 20 | 20 49 74 27 73 20 6e 6f |longer. | It's no|
|00000390| 77 0a 3e 20 72 65 61 6c | 6c 79 20 68 6f 6c 64 69 |w.> real|ly holdi|
|000003a0| 6e 67 20 75 70 20 69 6e | 74 65 72 6e 61 74 69 6f |ng up in|ternatio|
|000003b0| 6e 61 6c 20 70 72 6f 67 | 72 65 73 73 20 6f 6e 20 |nal prog|ress on |
|000003c0| 69 6d 70 6f 72 74 61 6e | 74 20 50 4f 53 49 58 20 |importan|t POSIX |
|000003d0| 65 66 66 6f 72 74 73 2e | 0a 3e 20 42 75 74 20 77 |efforts.|.> But w|
|000003e0| 68 61 74 20 66 6f 72 6d | 61 74 20 6f 72 20 74 65 |hat form|at or te|
|000003f0| 63 68 6e 69 71 75 65 20 | 73 68 6f 75 6c 64 20 77 |chnique |should w|
|00000400| 65 20 75 73 65 3f 20 20 | 49 53 4f 20 72 75 6c 65 |e use?  |ISO rule|
|00000410| 73 20 73 65 65 6d 20 74 | 6f 20 72 65 71 75 69 72 |s seem t|o requir|
|00000420| 65 0a 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |e.      |        |
|00000430| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00000440| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00000450| 20 2a 2a 2a 2a 2a 2a 2a | 2a 2a 2a 2a 2a 2a 2a 2a | *******|********|
|00000460| 2a 2a 2a 2a 2a 2a 2a 2a | 2a 2a 0a 3e 20 61 6e 20 |********|**.> an |
|00000470| 49 53 4f 2d 73 74 61 6e | 64 61 72 64 20 6d 65 74 |ISO-stan|dard met|
|00000480| 68 6f 64 2c 20 77 68 69 | 63 68 20 63 6f 75 6c 64 |hod, whi|ch could|
|00000490| 20 72 65 73 74 72 69 63 | 74 20 75 73 20 74 6f 20 | restric|t us to |
|000004a0| 56 44 4d 20 28 56 69 65 | 6e 6e 61 0a 2a 2a 2a 2a |VDM (Vie|nna.****|
|000004b0| 2a 2a 2a 2a 2a 2a 2a 2a | 2a 2a 2a 2a 2a 2a 2a 2a |********|********|
|000004c0| 2a 2a 2a 2a 2a 2a 2a 2a | 2a 2a 2a 2a 2a 2a 2a 2a |********|********|
|000004d0| 2a 2a 2a 2a 2a 2a 2a 2a | 2a 2a 2a 2a 2a 2a 2a 2a |********|********|
|000004e0| 2a 2a 2a 2a 2a 2a 2a 2a | 2a 2a 2a 2a 0a 3e 20 44 |********|****.> D|
|000004f0| 65 66 69 6e 69 74 69 6f | 6e 20 4d 65 74 68 6f 64 |efinitio|n Method|
|00000500| 29 2c 20 62 75 74 20 6e | 6f 20 6f 6e 65 20 74 68 |), but n|o one th|
|00000510| 69 6e 6b 73 20 56 44 4d | 20 77 69 6c 6c 20 77 6f |inks VDM| will wo|
|00000520| 72 6b 2e 20 20 50 61 75 | 6c 20 52 61 62 69 6e 20 |rk.  Pau|l Rabin |
|00000530| 61 6e 64 0a 2a 2a 2a 2a | 2a 2a 2a 2a 2a 2a 2a 2a |and.****|********|
|00000540| 2a 2a 2a 2a 2a 2a 2a 2a | 0a 3e 20 53 74 65 76 65 |********|.> Steve|
|00000550| 20 57 61 6c 6c 69 20 68 | 61 76 65 20 62 65 65 6e | Walli h|ave been|
|00000560| 20 77 6f 72 6b 69 6e 67 | 20 6f 6e 20 61 20 6d 65 | working| on a me|
|00000570| 74 68 6f 64 2c 20 62 75 | 74 20 74 68 65 20 54 41 |thod, bu|t the TA|
|00000580| 47 20 77 6f 72 72 69 65 | 73 20 74 68 61 74 20 61 |G worrie|s that a|
|00000590| 0a 3e 20 6e 6f 6e 2d 73 | 74 61 6e 64 61 72 64 20 |.> non-s|tandard |
|000005a0| 6d 65 74 68 6f 64 20 77 | 69 6c 6c 20 63 72 65 61 |method w|ill crea|
|000005b0| 74 65 20 70 72 6f 62 6c | 65 6d 73 20 6c 69 6b 65 |te probl|ems like|
|000005c0| 20 74 68 6f 73 65 20 77 | 65 27 76 65 20 73 75 66 | those w|e've suf|
|000005d0| 66 65 72 65 64 0a 3e 20 | 74 68 72 6f 75 67 68 20 |fered.> |through |
|000005e0| 77 69 74 68 20 64 6f 63 | 75 6d 65 6e 74 20 66 6f |with doc|ument fo|
|000005f0| 72 6d 61 74 73 20 28 73 | 65 65 20 6c 61 73 74 20 |rmats (s|ee last |
|00000600| 54 41 47 20 72 65 70 6f | 72 74 29 2e 20 20 49 6e |TAG repo|rt).  In|
|00000610| 20 6f 72 64 65 72 20 74 | 6f 0a 3e 20 61 76 6f 69 | order t|o.> avoi|
|00000620| 64 20 72 65 6a 65 63 74 | 69 6f 6e 20 6c 61 74 65 |d reject|ion late|
|00000630| 72 20 77 65 20 77 69 6c | 6c 20 63 69 72 63 75 6c |r we wil|l circul|
|00000640| 61 74 65 20 74 68 65 20 | 6e 65 77 20 6d 65 74 68 |ate the |new meth|
|00000650| 6f 64 20 69 6e 20 53 43 | 32 32 20 61 6e 64 0a 3e |od in SC|22 and.>|
|00000660| 20 57 47 31 35 20 66 6f | 72 20 72 65 76 69 65 77 | WG15 fo|r review|
|00000670| 20 61 6e 64 20 63 6f 6d | 6d 65 6e 74 2e 20 20 54 | and com|ment.  T|
|00000680| 6f 20 6d 61 6b 65 20 74 | 68 69 73 20 63 69 72 63 |o make t|his circ|
|00000690| 75 6c 61 74 69 6f 6e 20 | 75 73 65 66 75 6c 2c 20 |ulation |useful, |
|000006a0| 44 6f 6e 6e 0a 3e 20 54 | 65 72 72 79 20 69 73 20 |Donn.> T|erry is |
|000006b0| 6c 69 73 74 69 6e 67 20 | 73 70 65 63 69 66 69 63 |listing |specific|
|000006c0| 20 71 75 65 73 74 69 6f | 6e 73 20 66 6f 72 20 53 | questio|ns for S|
|000006d0| 43 32 32 20 61 6e 64 20 | 57 47 31 35 20 74 6f 20 |C22 and |WG15 to |
|000006e0| 61 6e 73 77 65 72 2e 0a | 3e 20 5b 45 64 69 74 6f |answer..|> [Edito|
|000006f0| 72 3a 20 49 20 62 65 6c | 69 65 76 65 20 74 68 61 |r: I bel|ieve tha|
|00000700| 74 20 49 53 4f 20 72 75 | 6c 65 73 20 6f 6e 6c 79 |t ISO ru|les only|
|00000710| 20 72 65 73 74 72 69 63 | 74 20 75 73 20 74 6f 20 | restric|t us to |
|00000720| 56 44 4d 20 69 66 20 77 | 65 0a 3e 20 70 72 6f 64 |VDM if w|e.> prod|
|00000730| 75 63 65 20 61 20 66 6f | 72 6d 61 6c 20 64 65 66 |uce a fo|rmal def|
|00000740| 69 6e 69 74 69 6f 6e 2c | 20 69 2e 65 2e 2c 20 73 |inition,| i.e., s|
|00000750| 6f 6d 65 74 68 69 6e 67 | 20 66 72 6f 6d 20 77 68 |omething| from wh|
|00000760| 69 63 68 20 6f 6e 65 20 | 63 6f 75 6c 64 20 64 6f |ich one |could do|
|00000770| 0a 3e 20 63 6f 72 72 65 | 63 74 6e 65 73 73 20 70 |.> corre|ctness p|
|00000780| 72 6f 6f 66 73 2e 20 20 | 4f 66 20 63 6f 75 72 73 |roofs.  |Of cours|
|00000790| 65 2c 20 72 75 6c 65 73 | 20 61 6e 64 20 70 6f 6c |e, rules| and pol|
|000007a0| 69 74 69 63 73 20 61 72 | 65 20 6e 6f 74 20 61 6c |itics ar|e not al|
|000007b0| 77 61 79 73 20 74 68 65 | 0a 3e 20 73 61 6d 65 20 |ways the|.> same |
|000007c0| 74 68 69 6e 67 20 61 6e | 64 20 75 73 69 6e 67 20 |thing an|d using |
|000007d0| 56 44 4d 20 6d 69 67 68 | 74 20 68 65 6c 70 20 67 |VDM migh|t help g|
|000007e0| 72 65 61 73 65 20 74 68 | 65 20 73 6b 69 64 73 2e |rease th|e skids.|
|000007f0| 20 20 53 74 69 6c 6c 2c | 20 77 65 0a 3e 20 73 68 |  Still,| we.> sh|
|00000800| 6f 75 6c 64 20 73 74 6f | 70 20 61 6e 64 20 61 73 |ould sto|p and as|
|00000810| 6b 20 69 66 20 6e 6f 74 | 20 75 73 69 6e 67 20 56 |k if not| using V|
|00000820| 44 4d 20 77 6f 75 6c 64 | 20 68 6f 6c 64 20 75 73 |DM would| hold us|
|00000830| 20 75 70 20 61 6e 79 20 | 6d 6f 72 65 20 74 68 61 | up any |more tha|
|00000840| 6e 0a 3e 20 75 73 69 6e | 67 20 56 44 4d 2e 5d 0a |n.> usin|g VDM.].|
|00000850| 0a 4d 79 20 6d 61 69 6e | 20 69 6e 74 65 72 65 73 |.My main| interes|
|00000860| 74 20 68 65 72 65 20 69 | 73 20 69 6e 20 74 68 65 |t here i|s in the|
|00000870| 20 49 53 4f 20 50 72 6f | 6c 6f 67 20 73 74 61 6e | ISO Pro|log stan|
|00000880| 64 61 72 64 2e 20 20 49 | 20 61 6d 20 63 6f 6e 66 |dard.  I| am conf|
|00000890| 75 73 65 64 20 62 79 0a | 74 68 69 73 20 65 78 74 |used by.|this ext|
|000008a0| 72 61 63 74 20 66 72 6f | 6d 20 63 6f 6d 70 2e 73 |ract fro|m comp.s|
|000008b0| 74 64 2e 75 6e 69 78 2c | 20 62 65 63 61 75 73 65 |td.unix,| because|
|000008c0| 20 74 68 65 20 49 53 4f | 20 50 72 6f 6c 6f 67 20 | the ISO| Prolog |
|000008d0| 73 74 61 6e 64 61 72 64 | 0a 63 6f 6e 74 61 69 6e |standard|.contain|
|000008e0| 73 20 61 20 66 6f 72 6d | 61 6c 20 73 70 65 63 69 |s a form|al speci|
|000008f0| 66 69 63 61 74 69 6f 6e | 20 6f 66 20 50 72 6f 6c |fication| of Prol|
|00000900| 6f 67 2e 20 20 50 65 72 | 73 6f 6e 61 6c 6c 79 2c |og.  Per|sonally,|
|00000910| 20 49 20 77 6f 75 6c 64 | 20 66 69 6e 64 20 69 74 | I would| find it|
|00000920| 0a 65 61 73 69 65 72 20 | 74 6f 20 72 65 61 64 20 |.easier |to read |
|00000930| 69 66 20 69 74 20 5f 77 | 65 72 65 5f 20 69 6e 20 |if it _w|ere_ in |
|00000940| 56 44 4d 2e 20 20 49 6e | 73 74 65 61 64 20 69 74 |VDM.  In|stead it|
|00000950| 27 73 20 69 6e 20 61 20 | 76 61 72 69 61 6e 74 20 |'s in a |variant |
|00000960| 6f 66 0a 66 69 72 73 74 | 2d 6f 72 64 65 72 20 6c |of.first|-order l|
|00000970| 6f 67 69 63 20 28 65 78 | 61 63 74 20 73 65 6d 61 |ogic (ex|act sema|
|00000980| 6e 74 69 63 73 20 75 6e | 6b 6e 6f 77 6e 29 20 77 |ntics un|known) w|
|00000990| 69 74 68 20 61 20 6e 65 | 77 20 73 79 6e 74 61 78 |ith a ne|w syntax|
|000009a0| 2e 20 20 54 68 69 73 0a | 64 65 66 69 6e 69 74 69 |.  This.|definiti|
|000009b0| 6f 6e 20 77 61 73 20 64 | 65 76 65 6c 6f 70 65 64 |on was d|eveloped|
|000009c0| 20 77 69 74 68 20 74 68 | 65 20 65 78 70 6c 69 63 | with th|e explic|
|000009d0| 69 74 20 69 6e 74 65 6e | 74 69 6f 6e 20 6f 66 20 |it inten|tion of |
|000009e0| 70 65 72 6d 69 74 74 69 | 6e 67 0a 63 6f 72 72 65 |permitti|ng.corre|
|000009f0| 63 74 6e 65 73 73 20 70 | 72 6f 6f 66 73 2e 20 20 |ctness p|roofs.  |
|00000a00| 44 6f 65 73 20 74 68 69 | 73 20 6d 65 61 6e 20 74 |Does thi|s mean t|
|00000a10| 68 61 74 20 49 53 4f 20 | 5f 77 69 6c 6c 5f 20 61 |hat ISO |_will_ a|
|00000a20| 63 63 65 70 74 20 22 6d | 61 6b 65 20 75 70 20 79 |ccept "m|ake up y|
|00000a30| 6f 75 72 0a 6f 77 6e 20 | 66 6f 72 6d 61 6c 20 73 |our.own |formal s|
|00000a40| 70 65 63 69 66 69 63 61 | 74 69 6f 6e 20 6c 61 6e |pecifica|tion lan|
|00000a50| 67 75 61 67 65 22 2c 20 | 6f 72 20 64 6f 65 73 20 |guage", |or does |
|00000a60| 69 74 20 6d 65 61 6e 20 | 74 68 61 74 20 74 68 65 |it mean |that the|
|00000a70| 20 50 72 6f 6c 6f 67 0a | 73 70 65 63 69 66 69 63 | Prolog.|specific|
|00000a80| 61 74 69 6f 6e 20 69 6e | 20 74 68 65 20 49 53 4f |ation in| the ISO|
|00000a90| 20 50 72 6f 6c 6f 67 20 | 64 72 61 66 74 20 69 73 | Prolog |draft is|
|00000aa0| 20 66 6f 72 62 69 64 64 | 65 6e 20 62 79 20 49 53 | forbidd|en by IS|
|00000ab0| 4f 20 72 75 6c 65 73 3f | 0a 0a 43 61 6e 20 73 6f |O rules?|..Can so|
|00000ac0| 6d 65 6f 6e 65 20 77 68 | 6f 20 72 65 61 6c 6c 79 |meone wh|o really|
|00000ad0| 20 6b 6e 6f 77 73 20 63 | 6c 65 61 72 20 74 68 69 | knows c|lear thi|
|00000ae0| 73 20 75 70 3f 0a 0a 2d | 2d 20 0a 46 69 78 65 64 |s up?..-|- .Fixed|
|00000af0| 20 69 6e 20 74 68 65 20 | 6e 65 78 74 20 72 65 6c | in the |next rel|
|00000b00| 65 61 73 65 2e 0a 0a 56 | 6f 6c 75 6d 65 2d 4e 75 |ease...V|olume-Nu|
|00000b10| 6d 62 65 72 3a 20 56 6f | 6c 75 6d 65 20 32 31 2c |mber: Vo|lume 21,|
|00000b20| 20 4e 75 6d 62 65 72 20 | 31 35 36 0a 0a          | Number |156..   |
+--------+-------------------------+-------------------------+--------+--------+