This is a dummy file for testing the GMPExtractor