Generic pretty printing and tracing in C11