Fig. (12) FSPN translation of Init.