get_ABI_namelngth
extern int get_ABI_namelngth __P((void));
if (get_ABI_namelngth()) {
if (get_ABI_namelngth() == 1) {
extern int get_ABI_namelngth(void);