Liberty Eiffel runtime C-code question

[Hans Zwakenberg]

function se_deep_twin_trats() in deep_twin.c is defined as a function returning a void pointer:

void* se_deep_twin_trats(void) {
se_deep_twin_start_counter--;
if (se_deep_twin_start_counter == 0) {
se_hash_table_clear(se_deep_twin_memory);
}

where does it return that pointer?   I don't quite get it.  Is this a bug?

cheers

Hans