--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Microbit/machine.py	Sat Aug 24 17:04:25 2019 +0200
@@ -0,0 +1,27 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2019 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module containing stubs for API generation of the 'machine' module.
+"""
+
+def unique_id():
+    pass
+
+def reset():
+    pass
+
+def freq():
+    pass
+
+def disable_irq():
+    pass
+
+def enable_irq():
+    pass
+
+def time_pulse_us(pin, pulse_level, timeout_us=1000000):
+    pass
+