input: from typing import List
  
  def countdown(num: int) -> List[int]:
      """Takes a positive integer and uses a while loop to output numbers counting down to 1.
      Returns a list of the numbers in descending order.
      >>> countdown(6)
      [6, 5, 4, 3, 2, 1]
      >>> countdown(3)
      [3, 2, 1]
      """
      result = []
      while num > 0:
          result.append(num)
          num -= 1
      return result
output:     result = []
      while num > 0:
          result.append(num)
          num -= 1
      return result