Corpus for finit_module:

Coverage	Program