void msg_tmp(void) { }