To produce *.inc from *.prt:
- Build the prt2fsm application (at ../../../src/app/prt2fsm)
- run prt2fsm -t filensme.prt > filensme.inc
