# Pastebin y0gvukr5
nmlc ERROR: "header.pnml", line 25: Syntax error, unexpected token ";"
Included from: "ogfx-mars-houses.pnml", line 17