check_short      2714 numeric.c          check_short(num);
check_short      2723 numeric.c          check_short(num);