int __libc_current_sigrtmin()
{
	return 34;
}