Library core_kernel.base_for_tests

The entry point for this library is module Base_for_tests.