int rand(void) { /*STUB*/ return 0; }