cannot pass macros through the spin preprocessor
must pass flags already when generating code: spin -DPRIOS -a file.pml
merge functions with the same content and replace calls
4133 to 2826 lines dot