Distinct Random Numbers - C

#define MAXNUMBERS 35

int used_numbers[MAXNUMBERS];
int index = 0;

int distinct_random()
{
    int random, i, distinct;
    do
    {
        distinct = 1;
        random = rand() % 10 + 1;
        for(i = 0; i < index; i++)
            if(used_numbers[i] == random)
                distinct = 0;
    } while(!distinct);
    used_numbers[index++] = random;
    return random;
}