#include <stdlib.h>
#include <stdio.h>

void ifb_echo(void*);

void ifb_echo(void *this){
  printf("pointer: %p\n", this);
  return;
}