input: from typing import List
  
  def add_marks(marks: List[int], mark: int) -> List[int]:
      """ Adds 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]