[Ada] Add ghost code to facilitate proof with SPARK
[official-gcc.git] / libstdc++-v3 / testsuite / data / ostream_inserter_other-1.tst
blobedcb0205fc58b3511991bd16f57726f3ab7f2b12
1 // 990117 bkoz
2 // test functionality of basic_filebuf for char_type == char
3 // this is a data file for 27filebuf.cc
5 // Copyright (C) 1997-1999, 2009 Free Software Foundation, Inc.
6 //
7 // This file is part of the GNU ISO C++ Library.  This library is free
8 // software; you can redistribute it and/or modify it under the
9 // terms of the GNU General Public License as published by the
10 // Free Software Foundation; either version 3, or (at your option)
11 // any later version.
13 // This library is distributed in the hope that it will be useful,
14 // but WITHOUT ANY WARRANTY; without even the implied warranty of
15 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16 // GNU General Public License for more details.
18 // You should have received a copy of the GNU General Public License along
19 // with this library; see the file COPYING3.  If not see
20 // <http://www.gnu.org/licenses/>.
22 /mnt/cdrom/sarah_vaughan/sarah_vaughan.allofme
23 /mnt/cdrom/sarah_vaughan/sarah_vaughan.speaklow
25 /mnt/cdrom/nikkigiovanni_thewayifeel/ng_01_the_way_i_feel
26 /mnt/cdrom/nikkigiovanni_thewayifeel/ng_02_seduction_kidnap
27 /mnt/cdrom/nikkigiovanni_thewayifeel/ng_03_just_a_ny_poem
28 /mnt/cdrom/nikkigiovanni_thewayifeel/ng_04_butterflies_i_remem
29 /mnt/cdrom/nikkigiovanni_thewayifeel/ng_05_luxury_poem
30 /mnt/cdrom/nikkigiovanni_thewayifeel/ng_06_my_house
31 /mnt/cdrom/nikkigiovanni_thewayifeel/ng_07_the_women_gather
32 /mnt/cdrom/nikkigiovanni_thewayifeel/ng_08_the_life_i_led
33 /mnt/cdrom/nikkigiovanni_thewayifeel/ng_09_when_i_die
34 /mnt/cdrom/nikkigiovanni_thewayifeel/ng_10_revolutionary_dreams
35 /mnt/cdrom/nikkigiovanni_thewayifeel/ng_11_winter_poem
36 /mnt/cdrom/nikkigiovanni_thewayifeel/ng_12_a_certain_peace_i_nap
37 /mnt/cdrom/nikkigiovanni_thewayifeel/ng_13_poem_for_a_lady_whose
39 /mnt/cdrom/marley-songs_of_freedom/disk_1/
40 /mnt/cdrom/marley-songs_of_freedom/disk_2/
41 /mnt/cdrom/marley-songs_of_freedom/disk_4/
43 /mnt/cdrom/marley-songs_of_freedom/disk_1/back out
44 /mnt/cdrom/marley-songs_of_freedom/disk_1/bend down low
45 /mnt/cdrom/marley-songs_of_freedom/disk_1/bus dem shut (pyaka)
46 /mnt/cdrom/marley-songs_of_freedom/disk_1/caution
47 /mnt/cdrom/marley-songs_of_freedom/disk_1/do it twice
48 /mnt/cdrom/marley-songs_of_freedom/disk_1/don't rock the boat
49 /mnt/cdrom/marley-songs_of_freedom/disk_1/duppy conqueror
50 /mnt/cdrom/marley-songs_of_freedom/disk_1/hammer
51 /mnt/cdrom/marley-songs_of_freedom/disk_1/hypocrites
52 /mnt/cdrom/marley-songs_of_freedom/disk_1/i'm still waiting
53 /mnt/cdrom/marley-songs_of_freedom/disk_1/judge not
54 /mnt/cdrom/marley-songs_of_freedom/disk_1/mellow mood
55 /mnt/cdrom/marley-songs_of_freedom/disk_1/mr brown
56 /mnt/cdrom/marley-songs_of_freedom/disk_1/nice time
57 /mnt/cdrom/marley-songs_of_freedom/disk_1/one cup of coffee
58 /mnt/cdrom/marley-songs_of_freedom/disk_1/one love_people get ready
59 /mnt/cdrom/marley-songs_of_freedom/disk_1/put it on
60 /mnt/cdrom/marley-songs_of_freedom/disk_1/simmer down
61 /mnt/cdrom/marley-songs_of_freedom/disk_1/small axe
62 /mnt/cdrom/marley-songs_of_freedom/disk_1/soul rebel
63 /mnt/cdrom/marley-songs_of_freedom/disk_1/soul shake down party
64 /mnt/cdrom/marley-songs_of_freedom/disk_1/stir it up (original)
65 /mnt/cdrom/marley-songs_of_freedom/disk_1/sun is shining
66 /mnt/cdrom/marley-songs_of_freedom/disk_1/thank you lord (original)
67 /mnt/cdrom/marley-songs_of_freedom/disk_2/acoustic medley
68 /mnt/cdrom/marley-songs_of_freedom/disk_2/burnin' and lootin'
69 /mnt/cdrom/marley-songs_of_freedom/disk_2/concrete jungle
70 /mnt/cdrom/marley-songs_of_freedom/disk_2/craven choke puppy
71 /mnt/cdrom/marley-songs_of_freedom/disk_2/get up stand up
72 /mnt/cdrom/marley-songs_of_freedom/disk_2/guava jelly
73 /mnt/cdrom/marley-songs_of_freedom/disk_2/high tide or low tide
74 /mnt/cdrom/marley-songs_of_freedom/disk_2/i shot the sheriff
75 /mnt/cdrom/marley-songs_of_freedom/disk_2/i'm hurting inside
76 /mnt/cdrom/marley-songs_of_freedom/disk_2/iron lion zion
77 /mnt/cdrom/marley-songs_of_freedom/disk_2/lick samba
78 /mnt/cdrom/marley-songs_of_freedom/disk_2/lively up yourself
79 /mnt/cdrom/marley-songs_of_freedom/disk_2/natty dread
80 /mnt/cdrom/marley-songs_of_freedom/disk_2/no more trouble
81 /mnt/cdrom/marley-songs_of_freedom/disk_2/rastaman chant
82 /mnt/cdrom/marley-songs_of_freedom/disk_2/screw face
83 /mnt/cdrom/marley-songs_of_freedom/disk_2/slave driver
84 /mnt/cdrom/marley-songs_of_freedom/disk_2/trenchtown rock
85 /mnt/cdrom/marley-songs_of_freedom/disk_4/africa unite
86 /mnt/cdrom/marley-songs_of_freedom/disk_4/babylon system
87 /mnt/cdrom/marley-songs_of_freedom/disk_4/bad card
88 /mnt/cdrom/marley-songs_of_freedom/disk_4/coming in from the cold (12
89 /mnt/cdrom/marley-songs_of_freedom/disk_4/could you be loved (12  mix
90 /mnt/cdrom/marley-songs_of_freedom/disk_4/forever loving jah
91 /mnt/cdrom/marley-songs_of_freedom/disk_4/give thanks and praise
92 /mnt/cdrom/marley-songs_of_freedom/disk_4/one drop
93 /mnt/cdrom/marley-songs_of_freedom/disk_4/one dub
94 /mnt/cdrom/marley-songs_of_freedom/disk_4/rastaman live up
95 /mnt/cdrom/marley-songs_of_freedom/disk_4/real situation
96 /mnt/cdrom/marley-songs_of_freedom/disk_4/redemption song (live in pi
97 /mnt/cdrom/marley-songs_of_freedom/disk_4/ride natty ride (12  mix)
98 /mnt/cdrom/marley-songs_of_freedom/disk_4/so much trouble in the worl
99 /mnt/cdrom/marley-songs_of_freedom/disk_4/survival
100 /mnt/cdrom/marley-songs_of_freedom/disk_4/why should i (previously un
101 /mnt/cdrom/marley-songs_of_freedom/disk_4/zimbabwe
103 /mnt/cdrom/dj_spooky_riddim_warefare/djspooky_01_pandemonium
104 /mnt/cdrom/dj_spooky_riddim_warefare/djspooky_02_sync_disjecta
105 /mnt/cdrom/dj_spooky_riddim_warefare/djspooky_03_object_unknown
106 /mnt/cdrom/dj_spooky_riddim_warefare/djspooky_04_it's_nice_not
107 /mnt/cdrom/dj_spooky_rid-2dim_warefare/djspooky_05_dialectical_tra
108 /mnt/cdrom/dj_spooky_riddim_warefare/djspooky_06_post-human_soph
109 /mnt/cdrom/dj_spooky_riddim_warefare/djspooky_07_quilombo_ex
110 /mnt/cdrom/dj_spooky_riddim_warefare/djspooky_08_rekonstruction
111 /mnt/cdrom/dj_spooky_riddim_warefare/djspooky_09_scientifik
112 /mnt/cdrom/dj_spooky_riddim_warefare/djspooky_10_a_conversation
113 /mnt/cdrom/dj_spooky_riddim_warefare/djspooky_11_peace_in_zaire
114 /mnt/cdrom/dj_spooky_riddim_warefare/djspooky_13_degree_zero
115 /mnt/cdrom/dj_spooky_riddim_warefare/djspooky_14_roman_planeta
116 /mnt/cdrom/dj_spooky_riddim_warefare/djspooky_15_bass_digitalis
117 /mnt/cdrom/dj_spooky_riddim_warefare/djspooky_16_polyphony_of
118 /mnt/cdrom/dj_spooky_riddim_warefare/djspooky_17_riddim_warfare
119 /mnt/cdrom/dj_spooky_riddim_warefare/djspooky_18_the_nerd
120 /mnt/cdrom/dj_spooky_riddim_warefare/djspooky_20_theme_of_the
121 /mnt/cdrom/dj_spooky_riddim_warefare/djspooky_21_twilight_fugue
123 /mnt/cdrom/stuff_smith_mosaic/disk3/01_desert_sands
124 /mnt/cdrom/stuff_smith_mosaic/disk3/02_soft_winds
125 /mnt/cdrom/stuff_smith_mosaic/disk3/03_time_and_again
126 /mnt/cdrom/stuff_smith_mosaic/disk3/04_it_don't_mean_a_thing
127 /mnt/cdrom/stuff_smith_mosaic/disk3/05_in_a_mellotone
128 /mnt/cdrom/stuff_smith_mosaic/disk3/06_i_know_that_you_know
129 /mnt/cdrom/stuff_smith_mosaic/disk3/07_heat_wave
130 /mnt/cdrom/stuff_smith_mosaic/disk3/08_things_ain't_what_they_used_to_be
131 /mnt/cdrom/stuff_smith_mosaic/disk3/09_body_and_soul
133 So I take a break, wander down to the park to stand, then lean into
134 the concrete railing demarking the beginnings of space, oceanic
135 space. I watch the waves break, and form, and ease back out to sea and
136 wrap my arms around myself and hug tightly because it's early in the
137 morning and windy, and the sun is late getting out of bed today, which
138 is good because if there was brilliant light illuminating all the
139 beauty around me I would be shocked, stunned, forced to retreat back
140 into my cabana in a daze, blinded by hummingbirds and callilillies and
141 un-named red, yellow, and blue flowers. Green envelopes me, waves
142 sooth me. I can see the wind flip the top of the waves seaward, right
143 before they break. The sea seems so calm from my perch above the fray
144 that I wonder if maybe there is just some part of the deepest, most
145 abstract ocean where there is a large creature who happily chews
146 plankton and wags its tail in gentle, adulating waves that spread and
147 move and gracefully glide thousands of miles, to crash upon a beach,
148 one after the other, politely waiting for a turn to dance with the
149 seashore.
151 I know: it is what the Mexican schoolchildren call "la vibora de la
152 mer," the serpent of the sea.