input: def reverse_list(input_list: List[int]) -> List[int]:
      """
      Reverse the given list and return the reversed list.
      
      >>> reverse_list([1, 2, 3, 4, 5])
      [5, 4, 3, 2, 1]
      """
output:     return input_list[::-1]