/* XXX Provisional -- this shouldn't happen in sources we use. */