Two operand addition
the first operand (and output)
size of x
the second operand
size of y (must be >= x_size)
See Implementation
Two operand addition