state 1 :-- emb
state 2 :-- oldnull
state 3 :-- null [final state]