/*
sys/param.h
*/

/* Do we need this header file? Maybe an empty one is sufficient to avoid
 * compilations errors.
 */