You say that an alignof(type) operator is required in order to implement the va_arg(ap,type) macro. Could you please demonstrate this? I don't believe it.