first try at standalone promela output via Marshal