#include <stdlib.h>

void operator delete(void*) {
  printk("Calling delete\n");
}