/* { dg-do run } */
/* { dg-options "-mhwmult=32bit" } */

#include "mul_main.h"