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

void a() {}
void bcd() {}

int main(int argc, char **argv) {
  int *p = malloc(0x10);
  free(p);

  printf("- freed: (%x/%x)\n", p, *p);
  printf("- fns: (%x/printf)\n", &printf);

  return 0;
}