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

#include <stdarg.h>
#include <stddef.h>

#define _XOPEN_SOURCE 600
#include <bsd/string.h>
#include <string.h>
#include <stdlib.h>
#include <unistd.h>
#include <stdio.h>
#include <malloc.h>