#include <stdio.h>
#include <stdarg.h>

void pxy_conn_ctx_trace(const char* format, ...)
{
    char s[2];
    
	va_list ap;
	va_start(ap, format);
	int written = vsnprintf(s, 1, format, ap);
	va_end(ap);
	
	printf("written = %d", written);
}

int main() {
  pxy_conn_ctx_trace("%d", 32768);

  return 0;
}