Dummy file to make some coverage experimentation work