public String getDefaultName() {
		switch (((IntegerType) getHint()).possTypes) {
		case IT_Z:
			return "bool";
		case IT_C:
			return "c";
		case IT_B:
		case IT_S:
		case IT_I:
			return "i";
		default:
			throw new alterrs.jode.AssertError(
					"Local can't be of constant type!");
		}
	}