/*
* 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>