haochenhe/lab1_random at main