escape int specification for array port, fix 5
new synch rules
Merge pull request #11 from dmichiels/escapeInt

escape int specification for array port
Merge pull request #13 from dmichiels/sync

new synch rules