int __libc_current_sigrtmax() { return 64; }