I seem to have missed one place in my original list where "void" is not included in prototype:

In malloc.c:

   rt_shared EIF_REFERENCE get_to_from_core();             /* Get a free eiffel chunk from kernel */