Depending on the modularity style, the enter/exit (including history enter) sequences are grouped into procedures. The example shows the default entering sequence (i.e. entering via a transition that goes to the edge of the state) for the NIGHT state:
●
●