added marking instructions for variable initializer