// See LICENSE for license details.

#pragma once

#include <stdio.h>
#include <stdint.h>
#include <stddef.h>
#include <stdarg.h>
#include <stdlib.h>
#include <stdbits.h>
#include <string.h>

#include "auxval.h"
#include "device.h"