#ifndef __TREZORHAL_SECBOOL_H__
#define __TREZORHAL_SECBOOL_H__
#include <stdint.h>
typedef uint32_t secbool;
#define sectrue 0xAAAAAAAAU
#define secfalse 0x00000000U
#endif