rule translat local misc state exit 