spin: add missing arinc functions
arinc: first version of promela export