#include <debug.h>

void abort (void) = #6;
void coredump (void) = #28;
void traceon (void) = #29;
void traceoff (void) = #30;
void eprint (entity e) = #31;
void dprint (string str) = #25;
void error (string str) = #10;
void objerror (string e) = #11;