Construct 1
Construct 2
Overwrite 1 with 2
Destruct 2
Destruct 2
exit 0