Added a couple tests for <stdarg.h>