CLASS axv
	METHOD a getHighestLevel ()I
	METHOD a isEqual (Laxe;)Z
		ARG 0 other