rule translat local misc submachin state state machin 