Question: What exactly is va_end for? Is it always necessary to call it?