Type agnostic, statically allocated queue in C

Question

I need a queue in C for an embedded application in which I cannot allocate memory dynamically.

I avoided using void* for the queue elements (which is not