TinyMice implementation