__libc_current_sigrtmin(void)1 int __libc_current_sigrtmin(void) {
2     return 35;
3 }
4