a few test files for modular arithmetic