#define L_addvdi3
#include <libgcc2.c>