[Ada] Add ghost code to facilitate proof with SPARK
[official-gcc.git] / libstdc++-v3 / testsuite / data / cin_unget-1.txt
blob81c545efebe5f57d4cab2ba9ec294c4b0cadf672
1 1234