1Tests propagation of constant values, specifically when going from a 2stack location to a local variable. (regression test) 3