int __libc_current_sigrtmin() { return 35; }