Module Tenacious_lib.Ring_unit_tests