Write a function that takes an int argument and doubles it. The function does not return a value.