[Ada] Add ghost code to facilitate proof with SPARK
[official-gcc.git] / libstdc++-v3 / testsuite / data / filebuf_virtuals-2.tst
blobf25bba46d928b13388ea8d0e0933427b48b07715
1 ac23456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZracadabras23456789:;<