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], 10)
      [97, 66, 109, 64]
      >>> add_marks([87, 56, 99, 54], 0)
      [87, 56, 99, 54]
      """
output:     return [x + mark for x in marks]