--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Microbit/micropython.py	Sat Aug 24 17:04:25 2019 +0200
@@ -0,0 +1,42 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2019 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module containing stubs for API generation of the 'micropython' module.
+"""
+
+def const(expr):
+    pass
+
+def opt_level():
+    pass
+
+def opt_level(level):
+    pass
+
+def mem_info():
+    pass
+
+def mem_info(verbose):
+    pass
+
+def qstr_info():
+    pass
+
+def qstr_info(verbose):
+    pass
+
+def stack_use():
+    pass
+
+def heap_lock():
+    pass
+
+def heap_unlock():
+    pass
+
+def kbd_intr(chr):
+    pass
+