input: def generate_random_array(size: int) -> List[int]:
      """ Generate an array of random numbers with a given size.
      >>> generate_random_array(10)
      [42, 17, 89, 53, 61, 28, 75, 39, 94, 12]
      """
output:     import random
      return [random.randint(0, 100) for _ in range(size)]