typedef unsigned char sigmask_t; /*!< Type for signal masks. */
typedef unsigned char page_t; /*!< Type for banked memory pages. */
typedef unsigned char sigmask_t; /*!< Type for signal masks. */
typedef unsigned char page_t; /*!< Type for banked memory pages. */