Copyright
Digital Equipment Corp.
All rights reserved.
Argument
x An integer.