--- /dev/null
+#ifndef MAIN_EMIT_H
+#define MAIN_EMIT_H
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+/* Signal generation init */
+void emit_init(int alt, PinName pin, PinMode mode);
+
+/* Configure GPIO output */
+void emit_enable(uint64_t start, uint64_t period);
+
+/* Queue GPIO signal if due */
+void emit_transmit(uint64_t local, uint64_t world);
+
+#ifdef __cplusplus
+}
+#endif
+
+#endif