int __libc_current_sigrtmax()
{
	return 64;
}