// SPDX-License-Identifier: GPL-2.0 #include int main(void) { size_t dst; return elf_getphdrnum(0, &dst); }