Tag: time of flag hoisting