/* stub header. */