examples/tests

Signed-off-by: ale <ale@manalejandro.com>

examples/tests/double_printf.c

@@ -0,0 +1,8 @@
+#include <stdio.h>
+
+int main() {
+    int x = 42;
+    printf("first\n");
+    printf("second\n");
+    return 0;
+}