diff --git a/examples/incr_7/amy.c b/examples/incr_7/amy.c
new file mode 100644
index 0000000000000000000000000000000000000000..c2d4ed302e458849792268ef0abcf9d91dab710b
--- /dev/null
+++ b/examples/incr_7/amy.c
@@ -0,0 +1,42 @@
+/* This example demonstrates:
+- Synchronous rounds that fail result in RECOVERY; no messages are sent or received.
+*/
+#include <stdio.h>
+#include <string.h>
+#include "../../reowolf.h"
+#include "../utility.c"
+
+int main(int argc, char** argv) {
+	char * pdl_ptr = buffer_pdl("eg_protocols.pdl");
+	size_t pdl_len = strlen(pdl_ptr);
+	Arc_ProtocolDescription * pd = protocol_description_parse(pdl_ptr, pdl_len);
+	char logpath[] = "./7_amy_log.txt";
+	Connector * c = connector_new_logging(pd, logpath, sizeof(logpath)-1);
+	printf("Err %s\n", reowolf_error_peek(NULL));
+	
+	PortId putter, getter;
+	connector_add_port_pair(c, &putter, &getter);
+	connector_connect(c, -1);
+	connector_print_debug(c);
+	
+	printf("Let's try to put without get\n");
+	connector_put_bytes(c, putter, "hello", 5);
+	// connector_get(c, getter);
+	
+	int err = connector_sync(c, 5000);
+	printf("Error code %d with string `%s`\n", err, reowolf_error_peek(NULL));
+	
+	printf("\nLet's try again, doing both\n");
+	connector_put_bytes(c, putter, "hello", 5);
+	connector_get(c, getter);
+	err = connector_sync(c, 5000);
+	printf("Error code %d with string `%s`\n", err, reowolf_error_peek(NULL));
+	size_t msg_len;
+	const char * msg_ptr = connector_gotten_bytes(c, getter, &msg_len);
+	printf("Got msg `%.*s`\n", (int) msg_len, msg_ptr);
+	
+	protocol_description_destroy(pd);
+	connector_destroy(c);
+	free(pdl_ptr);
+	return 0;
+}