input: def double_add(num1: int, num2: int) -> int: 
      """ Takes two integers, adds them together, then doubles the result.
      >>> double_add(1, 2)
      6
      >>> double_add(5, 3)
      16
      """
      return (num1 + num2) * 2
output:     return (num1 + num2) * 2