diff -r 000000000000 -r 82ff02d7f861 samples/primitiveconstants/src-api1.0/api/API.java
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/samples/primitiveconstants/src-api1.0/api/API.java	Sat Jun 14 09:50:51 2008 +0200
@@ -0,0 +1,15 @@
+package api;
+
+// BEGIN: theory.binary.constants.api
+public abstract class API {
+    public static final int VERSION = 1;
+
+    protected API() {
+        System.err.println("Initializing version " + VERSION);
+        init(API.VERSION);
+        System.err.println("Properly initialized: " + this);
+    }
+
+    protected abstract void init(int version) throws IllegalStateException;
+}
+// END: theory.binary.constants.api
\ No newline at end of file