- pat.loop -> pat.loop_state
- pat:loop added