void wrtmessage_1_0(const char *s1, const char *s2, const char *s3, const char *s4) { wrtmessage(NULL, s1); wrtmessage(NULL, s2); wrtmessage(NULL, s3); wrtmessage(NULL, s4); }
/* * Wrapper around malloc_message() that avoids the need for * je_malloc_message(...) throughout the code. */ void malloc_write(const char *s) { if (je_malloc_message != NULL) je_malloc_message(NULL, s); else wrtmessage(NULL, s); }