Deconstructor works with output stack size > 1 (or input, in this case)