#define XSTORMY16_UDIVSI3
#include "stormy16-lib2.c"