some parsing tools in Python