actually use int2disp, although it probably will not be necessary