/* Return the board_info structure with a given index. Out-of-range indices return NULL.  */
const struct board_info* t1_get_board_info(unsigned int board_id)
/* Return the board_info structure with a given index. Out-of-range indices return NULL.  */
const struct board_info* t1_get_board_info(unsigned int board_id)
{
	return board_id < ARRAY_SIZE(t1_board) ? &t1_board[board_id] : NULL;
}