avoid compiler warnings about unsigned ints, def