input: def add_marks(marks: List[int], mark: int) -> List[int]:
   """
   Add the given mark to each value in the marks list.
   >>> add_marks([87, 56, 99, 54], 4)
   [91, 60, 103, 58]
   """
output:     return [x + mark for x in marks]