Максимальный PID в Linux

Я портирую приложение с Tru64 на Linux, и оно использует PID_MAX, определенный в limits.h. В Linux такого определения нет. Как мне найти PID_MAX в c , не читая вручную / proc / sys / kernel / pid_max ? Есть ли библиотека?