Import random.c mistakenly deleted