1extern int rpathx_value (void);
2int main () { return !(rpathx_value () == 5); }
3