class IToken inherits System {
---
	name() : String {
		not_implemented_retstr("name")
	};

	value() : String {
		not_implemented_retstr("value")
	};

---
	id: Int;

	id() : Int {
		id
	};

	init(iid: Int) : Object {{
		assert(iid = 0, "init", "ID 0 is not allowed for a token!");
		assert(not (id = 0), "init", "token object '".concat(name()).concat("' is already initialized!"));
		id <- iid;
		void;
	}};
};