diff --git a/syscall/jasmin_syscall.c b/syscall/jasmin_syscall.c
index fa84a89..0650305 100644
--- a/syscall/jasmin_syscall.c
+++ b/syscall/jasmin_syscall.c
@@ -105,17 +105,20 @@ uint64_t __jasmin_syscall_open__(uint8_t *x, uint64_t xlen) {
 // }
 
 uint8_t *__jasmin_syscall_read__(uint8_t *_x, uint64_t xlen, uint64_t fd) {
+  printf("Agent: sleeping...\n");
   uint32_t *addr = (uint32_t *)(uintptr_t)fd;
   long ret = syscall(SYS_futex, addr, FUTEX_WAIT, 0, NULL, NULL, 0);
   if (ret == -1) {
     printf("Agent futex error: %d\n", errno);
     perror("futex");
   }
+  printf("Agent: woken up\n");
 
   return _x;
 }
 
 uint8_t *__jasmin_syscall_write__(uint8_t *_x, uint64_t xlen, uint64_t fd) {
+  printf("Agent: waking client\n");
   uint32_t *addr = (uint32_t *)(uintptr_t)fd;
   int woken_up = 0;
   while (woken_up == 0) {