#include <stdlib.h>

extern "C" void __cxa_pure_virtual() {  // NOLINT
  printk("__cxa_pure_virtual called, aborting...\n");
  abort();
}