| /* This header is included into every file that declares a stub function. | |
| It is obsolete now, but hasn't died to avoid removing all those | |
| #include's. Every such file should use the `stub_warning' macro for | |
| each of its functions, and that is sufficient. */ |