Fig. (13) FSPN translation of loop.