void do_tests() {
    mapping m = allocate_mapping(random(1000));
    mixed x, y;
    
    foreach (x, y in m) {
	ASSERT(0); // shouldn't get here
    }
}