10 void va_end(va_list) { ensures true; }
11 va_list va_start(va_list va, parmN) (list = ((va_list)&parmN + sizeof(parmN)))
14 constant va_arg(list, mode) ((mode *)(list = (va_list) ((((int)list + (__builtin_alignof(mode)<=4?3:7)) & (__builtin_alignof(mode)<=4?-4:-8))+sizeof(mode))))[-1]
18 typedef int ptrdiff_t;
21 #define offsetof(s_name,m_name) (size_t)&(((s_name*)0))->m_name