extracted: INTEGER_32
	do
		Result := 1
	end