/*
 * Copyright (c) 2020 Linaro
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#include <zephyr.h>

void main(void)
{
	BUILD_ASSERT(sizeof(u8_t) == 1, "sizeof u8_t mismatch");
	BUILD_ASSERT(sizeof(u16_t) == 2, "sizeof u16_t mismatch");
	BUILD_ASSERT(sizeof(u32_t) == 4, "sizeof u32_t mismatch");
	BUILD_ASSERT(sizeof(u64_t) == 8, "sizeof u64_t mismatch");

	BUILD_ASSERT(sizeof(s8_t) == 1, "sizeof s8_t mismatch");
	BUILD_ASSERT(sizeof(s16_t) == 2, "sizeof s16_t mismatch");
	BUILD_ASSERT(sizeof(s32_t) == 4, "sizeof s32_t mismatch");
	BUILD_ASSERT(sizeof(s64_t) == 8, "sizeof s64_t mismatch");
}