File	Line Coverage			Functions
test_negative_tables.rs	100%	100%	38 / 38	50%	2 / 4
test_tables.rs	100%	100%	40 / 40	50%	2 / 4
test_watchedor_reifyimply_1.rs	100%	100%	29 / 29	50%	2 / 4