/*
 * include files for C library of the host. Currently only tested
 * with glibc 2.31.
 */

#include <stdio.h>
#include <stdlib.h>