Well, there appears to be a python3 antlr runtime