#include "license_pbs.h" /* See here for the software license */

void log_event(int eventtype, int objclass, const char *objname, const char *text);