pub const RAND_MAX: c_int = 32767;