32 bit PCs

src/spins/promela/compiler/ltsmin/state/LTSminTypeNative.java

@@ -76,7 +76,7 @@ public class LTSminTypeNative extends LTSminTypeImpl {
 				case 8:
 					return C_TYPE_UINT8; // BYTE
 				case 16:
-					return C_TYPE_UINT16; // PC
+					return C_TYPE_UINT32; // PC
 				default:
 					throw new AssertionError("ERROR: Unable to handle: " + var.getName() +" ("+ var.getType().getJavaName() + ").");
 			}

src/spins/promela/compiler/variable/VariableType.java

@@ -24,7 +24,7 @@ public class VariableType {
 
 	public static VariableType BYTE = new VariableType("byte", "uint", 8);
 
-	public static VariableType PC = new VariableType("pc", "int", 16);
+	public static VariableType PC = new VariableType("pc", "int", 32);
 
 	public static VariableType PID = new VariableType("pid", "uint", 8);