import python's "re" library explicitly.