some testing in test_mice