/* This header is linked to under the names of several headers that have been
 * removed. It's possible to put a #error in here in order to catch that an
 * clean up older code. */