input: def generate_random_array(size: int) -> List[int]:
      """ Generate an array of random integers.
      >>> generate_random_array(10)
      [42, 65, 34, 87, 92, 12, 54, 76, 23, 10]
      """
output:     import random
      return [random.randint(0, 100) for _ in range(size)]