/* stub file */