/* { dg-options "-mabi=eabi -mgp32 -mlong64 -O2" } */
#include "abi-main.h"