Work on adding a puppet for the server side aswell

test.c

@@ -0,0 +1,8 @@
+#include <stdio.h>
+
+const char line[] = "12345";
+
+int main() {
+    printf("My pointer is: %p\n", *line);
+    return 0;
+}