Variably sized elements on the stack

One line below: This should "dup" based on the type sizes of the parameters.