#include <stdio.h>
#include <stdlib.h>
void *malloc(size_t size) { return (void *)123; }
int main() {
  void *x = malloc(10);
  printf("got %p\n", x);
  free(x);
  printf("freed the faker\n");
  return 1;
}