Write a function called add_one that takes a single int argument and returns the result of adding 1 to it.