mixly3/boards/default/python_skulpt/__init___2e557e02.js

var $builtinmodule=function(n){return{}};