/* Num3.2.h */
typedef int numType;
numType randNum();