#  Most defaults are suitable for Convex
$Cflags .= " -DWAIT_INT";
1;
