This is the same example as before (6.3), but it illustrates the use of the FTACallback mechanism to simplify actors (they will be called on demand when a registered tagboard has flipped).