#include <gnu-stabs.h>

#undef	mach_msg_server_timeout
symbol_alias (__mach_msg_server_timeout, mach_msg_server_timeout);