I changed the nameing of $[old]state0-3 to $s0-3 [$e0-3] only to reduce the codesize.