States may specify extra modifiers within their state body, just like specifying the stateflag and statusc values.

There is currently only one modifier:

• __transargs - Allows the trans block to "borrow" the parameters from the code block (they do not have to be specified in the trans block). Extra object fields cannot be defined in the source code after this modifier is used.