int int_rand( int n ) { return rand() %n ; }