Python 3 runtime libraries for ANTLR 4