#ifndef PBXB64_C17_STDARG_H
#define PBXB64_C17_STDARG_H

typedef char* va_list;
#define va_start(ap,last) ((ap) = (char*)0)
#define va_arg(ap,type) ((type)__builtin_va_arg_i64(&(ap), sizeof(type)))
#define va_copy(dst,src) ((dst) = (src))
#define va_end(ap) ((void)0)

#endif
