extern void abort (void)  __attribute__ ((noreturn));
typedef int SItype __attribute__ ((mode (SI)));
typedef int DItype __attribute__ ((mode (DI)));
 
SItype
__mulvsi3 (SItype a, SItype b)
{
  const DItype w = (DItype) a * (DItype) b;
 
  if ((SItype) (w >> 32) != (SItype) (w) >> 31)
    abort ();
 
  return w;
}