// { dg-do compile }
// { dg-options "-Wpsabi" }
// { dg-require-effective-target arm_eabi }

#include <stdarg.h>
#include "arm_va_list2.h"