// inttypes.h: Integer print formats definitions.
// Code is governed by the GPL-2.0 license.
// Copyright (C) 2021-2022 The Vinix authors.

#ifndef _INTTYPES_H
#define _INTTYPES_H

#include <stdint.h>

#endif
