#include "mystuff.h" char generic_print_buffer[384]; void user_rf_pre_init(void) { //nothing. } char * strcat( char * dest, char * src ) { return strcat(dest, src ); }