a stub file