python that compiles to JS