aspect Version {

    /* An auxilliary class for handling naming and prefixes connected
     * to the LabComm version
     */
    class LabCommVersion {
        public static String versionString(int version) {
            return (version == 2006) ? "2006" : "";
        }       

        public static boolean versionHasPragma(int version) {
            return version != 2006;
        }
    }
}