#include <stdint.h>

int32_t randwc(int32_t num);
uint32_t abs_randwc(uint32_t num);
int32_t randnum(int32_t lngval);