import t

extern def va_start(args: t.CPtr, last_arg: t.CPtr)
extern def va_arg(args: t.CPtr, type: t.CPtr) -> t.CPtr
extern def va_end(args: t.CPtr)

va_list: t.CTypedef = uchar*

# `arg` is a compiler-intercepted sugar (never a real symbol): `arg(T)` reads the next variadic
# argument from the *enclosing* variadic function's implicit va_list, and `arg()` infers the
# width from the assignment context. The declaration mirrors va_arg so the generated stub carries
# a usable return type; the `type` argument is a type literal, not an ABI operand.
extern def arg(type: t.CPtr) -> t.CPtr