value trace
value trace loop
action : flag