/* Just a fake, to satisfy bogus #include's */