A formal semantics of Python 3.3