int svr4lib_a() { return 42; }