int shlibfunc() { return 42; }