Can we figure out whether we really need this or expect to need it and try to avoid #if 0 if possible.