import re


def normalize(s):
	"""
	Normalizes a string:

	 - replaces any sequence of whitespace characters (including non-breaking space) with a single space character
	"""
	if s == None:
		return None
	else:
		return re.sub(r'\s+', ' ', s)