The function takes a single positive integer argument x and returns twice the value of x.

