#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 s) = #25;
void error (.../*string str*/) = #10;
void objerror (.../*string e*/) = #11;
