wint_t might be smaller than int so that integer promotions apply.