input: def reverse_list(lst: List[int]) -> List[int]:
      """ Reverses a given list of integers.
      >>> reverse_list([1, 2, 3, 4, 5])
      [5, 4, 3, 2, 1]
      >>> reverse_list([3, 1, 4, 1, 5, 9])
      [9, 5, 1, 4, 1, 3]
      """
output:     return lst[::-1]