diff --git a/examples/c/main.c b/examples/c/main.c
index 4eb5f10..74f436e 100644
--- a/examples/c/main.c
+++ b/examples/c/main.c
@@ -1,15 +1,16 @@
-#include<stdio.h>
-#include "../../rftrace-frontend-ffi/rftrace_frontend_ffi.h"
-
+#include <stdio.h>
 
+#include "../../rftrace-frontend-ffi/rftrace_frontend_ffi.h"
 
 void func3() {
     printf("Func3!\n");
 }
+
 void func2() {
     printf("Func2!\n");
     func3();
 }
+
 void func1() {
     printf("Func1!\n");
     func2();
@@ -23,5 +24,4 @@ void main() {
     func1();
     func1();
     rftrace_dump_full_uftrace(events, "tracedir", "test");
-
-}
\ No newline at end of file
+}
diff --git a/examples/hermitc/main.c b/examples/hermitc/main.c
index ab522fb..828d55f 100644
--- a/examples/hermitc/main.c
+++ b/examples/hermitc/main.c
@@ -1,15 +1,16 @@
-#include<stdio.h>
-#include "../../rftrace-frontend-ffi/rftrace_frontend_ffi.h"
-
+#include <stdio.h>
 
+#include "../../rftrace-frontend-ffi/rftrace_frontend_ffi.h"
 
 void func3() {
     printf("Func3!\n");
 }
+
 void func2() {
     printf("Func2!\n");
     func3();
 }
+
 void func1() {
     printf("Func1!\n");
     func2();
@@ -23,27 +24,26 @@ void main() {
     func1();
     func1();
     rftrace_dump_full_uftrace(events, "/tracedir", "example");
-
 }
 
 /// Just a few dummy functions if smoltcp support is disabled
-void sys_tcp_stream_connect(){}
-void sys_tcp_stream_read(){}
-void sys_tcp_stream_write(){}
-void sys_tcp_stream_close(){}
-void sys_tcp_stream_shutdown(){}
-void sys_tcp_stream_set_read_timeout(){}
-void sys_tcp_stream_get_read_timeout(){}
-void sys_tcp_stream_set_write_timeout(){}
-void sys_tcp_stream_get_write_timeout(){}
-void sys_tcp_stream_duplicate(){}
-void sys_tcp_stream_peek(){}
-void sys_tcp_stream_set_nonblocking(){}
-void sys_tcp_stream_set_tll(){}
-void sys_tcp_stream_get_tll(){}
-void sys_tcp_stream_peer_addr(){}
-void sys_tcp_listener_accept(){}
-void sys_network_init(){}
-void init_lwip(){}
-void lwip_read(){}
-void lwip_write(){}
\ No newline at end of file
+void sys_tcp_stream_connect() {}
+void sys_tcp_stream_read() {}
+void sys_tcp_stream_write() {}
+void sys_tcp_stream_close() {}
+void sys_tcp_stream_shutdown() {}
+void sys_tcp_stream_set_read_timeout() {}
+void sys_tcp_stream_get_read_timeout() {}
+void sys_tcp_stream_set_write_timeout() {}
+void sys_tcp_stream_get_write_timeout() {}
+void sys_tcp_stream_duplicate() {}
+void sys_tcp_stream_peek() {}
+void sys_tcp_stream_set_nonblocking() {}
+void sys_tcp_stream_set_tll() {}
+void sys_tcp_stream_get_tll() {}
+void sys_tcp_stream_peer_addr() {}
+void sys_tcp_listener_accept() {}
+void sys_network_init() {}
+void init_lwip() {}
+void lwip_read() {}
+void lwip_write() {}