/* { dg-do run } */

#define basetype int

#include "hardbool.c"