blob: 1d37137416baa42303d632b63c0c265ed08f2817 [file] [log] [blame]
Paul Bakker33b43f12013-08-20 11:48:36 +02001/* BEGIN_HEADER */
Valerio Settib4f50762024-01-17 10:24:52 +01002#include "debug_internal.h"
Mohammad Azim Khan67735d52017-04-06 11:55:43 +01003#include "string.h"
Valerio Setti1b08d422023-02-13 11:33:26 +01004#include "mbedtls/pk.h"
Ben Taylorc801d322025-07-03 15:01:39 +01005#if defined(MBEDTLS_PK_HAVE_PRIVATE_HEADER)
6#include <mbedtls/private/pk_private.h>
7#endif /* MBEDTLS_PK_HAVE_PRIVATE_HEADER */
Yanray Wang5b60b422023-12-01 17:20:22 +08008#include <test/ssl_helpers.h>
Paul Bakker1f761152010-02-18 18:16:31 +00009
Bence Szépkúti58bb7ec2025-03-02 01:17:02 +010010#if defined(_WIN32)
11# include <stdlib.h>
12# include <crtdbg.h>
13#endif
14
Bence Szépkúti46e0b1c2025-03-12 16:43:38 +010015// Dummy type for builds without MBEDTLS_HAVE_TIME
16#if !defined(MBEDTLS_HAVE_TIME)
17typedef int64_t mbedtls_ms_time_t;
Bence Szépkúti154066d2025-03-02 00:58:11 +010018#endif
19
Bence Szépkúti24f11a32025-03-12 17:08:46 +010020typedef enum {
21 PRINTF_SIZET,
22 PRINTF_LONGLONG,
23 PRINTF_MS_TIME,
24} printf_format_indicator_t;
25
26const char *const printf_formats[] = {
27 [PRINTF_SIZET] = "%" MBEDTLS_PRINTF_SIZET,
28 [PRINTF_LONGLONG] = "%" MBEDTLS_PRINTF_LONGLONG,
29 [PRINTF_MS_TIME] = "%" MBEDTLS_PRINTF_MS_TIME,
30};
31
Gilles Peskine449bd832023-01-11 14:50:10 +010032struct buffer_data {
Paul Bakker1f761152010-02-18 18:16:31 +000033 char buf[2000];
34 char *ptr;
35};
36
Bence Szépkúti12210522025-02-28 16:22:33 +010037#if defined(MBEDTLS_SSL_TLS_C)
Michael Schuster54300d42024-06-04 02:30:22 +020038static void string_debug(void *data, int level, const char *file, int line, const char *str)
Paul Bakker1f761152010-02-18 18:16:31 +000039{
40 struct buffer_data *buffer = (struct buffer_data *) data;
Manuel Pégourié-Gonnardfd474232015-06-23 16:34:24 +020041 char *p = buffer->ptr;
Paul Bakker26b41a82011-07-13 14:53:58 +000042 ((void) level);
Paul Bakker1f761152010-02-18 18:16:31 +000043
Gilles Peskine449bd832023-01-11 14:50:10 +010044 memcpy(p, file, strlen(file));
45 p += strlen(file);
Manuel Pégourié-Gonnardfd474232015-06-23 16:34:24 +020046
47 *p++ = '(';
Gilles Peskine449bd832023-01-11 14:50:10 +010048 *p++ = '0' + (line / 1000) % 10;
49 *p++ = '0' + (line / 100) % 10;
50 *p++ = '0' + (line / 10) % 10;
51 *p++ = '0' + (line / 1) % 10;
Manuel Pégourié-Gonnardfd474232015-06-23 16:34:24 +020052 *p++ = ')';
53 *p++ = ':';
54 *p++ = ' ';
55
Manuel Pégourié-Gonnard7b23c512015-08-31 16:11:00 +020056#if defined(MBEDTLS_THREADING_C)
57 /* Skip "thread ID" (up to the first space) as it is not predictable */
Gilles Peskine449bd832023-01-11 14:50:10 +010058 while (*str++ != ' ') {
59 ;
60 }
Manuel Pégourié-Gonnard7b23c512015-08-31 16:11:00 +020061#endif
62
Gilles Peskine449bd832023-01-11 14:50:10 +010063 memcpy(p, str, strlen(str));
64 p += strlen(str);
Paul Bakker92478c32014-04-25 15:18:34 +020065
66 /* Detect if debug messages output partial lines and mark them */
Gilles Peskine449bd832023-01-11 14:50:10 +010067 if (p[-1] != '\n') {
Manuel Pégourié-Gonnardfd474232015-06-23 16:34:24 +020068 *p++ = '*';
Gilles Peskine449bd832023-01-11 14:50:10 +010069 }
Manuel Pégourié-Gonnardfd474232015-06-23 16:34:24 +020070
71 buffer->ptr = p;
Paul Bakker1f761152010-02-18 18:16:31 +000072}
Bence Szépkúti12210522025-02-28 16:22:33 +010073#endif /* MBEDTLS_SSL_TLS_C */
Bence Szépkúti58bb7ec2025-03-02 01:17:02 +010074
75#if defined(_WIN32)
76static void noop_invalid_parameter_handler(
77 const wchar_t *expression,
78 const wchar_t *function,
79 const wchar_t *file,
80 unsigned int line,
81 uintptr_t pReserved)
82{
83 (void) expression;
84 (void) function;
85 (void) file;
86 (void) line;
87 (void) pReserved;
88}
89#endif /* _WIN32 */
90
Paul Bakker33b43f12013-08-20 11:48:36 +020091/* END_HEADER */
Paul Bakker1f761152010-02-18 18:16:31 +000092
Paul Bakker33b43f12013-08-20 11:48:36 +020093/* BEGIN_DEPENDENCIES
Bence Szépkúti12210522025-02-28 16:22:33 +010094 * depends_on:MBEDTLS_DEBUG_C
Paul Bakker33b43f12013-08-20 11:48:36 +020095 * END_DEPENDENCIES
96 */
Paul Bakker5690efc2011-05-26 13:16:06 +000097
Bence Szépkútic6a8bf02025-02-28 22:32:15 +010098/* BEGIN_CASE */
Bence Szépkúti24f11a32025-03-12 17:08:46 +010099void printf_int_expr(int format_indicator, intmax_t sizeof_x, intmax_t x, char *result)
Bence Szépkútic6a8bf02025-02-28 22:32:15 +0100100{
Bence Szépkúti58bb7ec2025-03-02 01:17:02 +0100101#if defined(_WIN32)
102 /* Windows treats any invalid format specifiers passsed to the CRT as fatal assertion failures.
103 Disable this behaviour temporarily, so the rest of the test cases can complete. */
104 _invalid_parameter_handler saved_handler =
105 _set_invalid_parameter_handler(noop_invalid_parameter_handler);
106
107 // Disable assertion pop-up window in Debug builds
108 int saved_report_mode = _CrtSetReportMode(_CRT_ASSERT, _CRTDBG_REPORT_MODE);
109 _CrtSetReportMode(_CRT_ASSERT, _CRTDBG_MODE_DEBUG);
110#endif
111
Bence Szépkúti24f11a32025-03-12 17:08:46 +0100112 const char *format = printf_formats[format_indicator];
Bence Szépkútic6a8bf02025-02-28 22:32:15 +0100113 char *output = NULL;
114 const size_t n = strlen(result);
115
116 /* Nominal case: buffer just large enough */
117 TEST_CALLOC(output, n + 1);
118 if ((size_t) sizeof_x <= sizeof(int)) { // Any smaller integers would be promoted to an int due to calling a vararg function
119 TEST_EQUAL(n, mbedtls_snprintf(output, n + 1, format, (int) x));
120 } else if (sizeof_x == sizeof(long)) {
121 TEST_EQUAL(n, mbedtls_snprintf(output, n + 1, format, (long) x));
122 } else if (sizeof_x == sizeof(long long)) {
123 TEST_EQUAL(n, mbedtls_snprintf(output, n + 1, format, (long long) x));
124 } else {
125 TEST_FAIL(
126 "sizeof_x <= sizeof(int) || sizeof_x == sizeof(long) || sizeof_x == sizeof(long long)");
127 }
128 TEST_MEMORY_COMPARE(result, n + 1, output, n + 1);
129
130exit:
131 mbedtls_free(output);
132 output = NULL;
Bence Szépkúti58bb7ec2025-03-02 01:17:02 +0100133
134#if defined(_WIN32)
135 // Restore default Windows behaviour
136 _set_invalid_parameter_handler(saved_handler);
137 _CrtSetReportMode(_CRT_ASSERT, saved_report_mode);
138 (void) saved_report_mode;
139#endif
Bence Szépkútic6a8bf02025-02-28 22:32:15 +0100140}
141/* END_CASE */
142
Bence Szépkúti12210522025-02-28 16:22:33 +0100143/* BEGIN_CASE depends_on:MBEDTLS_SSL_TLS_C */
Gilles Peskine449bd832023-01-11 14:50:10 +0100144void debug_print_msg_threshold(int threshold, int level, char *file,
145 int line, char *result_str)
Paul Bakkerc73079a2014-04-25 16:34:30 +0200146{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200147 mbedtls_ssl_context ssl;
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200148 mbedtls_ssl_config conf;
Paul Bakkerc73079a2014-04-25 16:34:30 +0200149 struct buffer_data buffer;
150
Gilles Peskine449bd832023-01-11 14:50:10 +0100151 mbedtls_ssl_init(&ssl);
152 mbedtls_ssl_config_init(&conf);
Valerio Setti3a994b72024-07-03 16:58:10 +0200153 MD_OR_USE_PSA_INIT();
Gilles Peskine449bd832023-01-11 14:50:10 +0100154 memset(buffer.buf, 0, 2000);
Paul Bakkerc73079a2014-04-25 16:34:30 +0200155 buffer.ptr = buffer.buf;
156
Yanray Wangaad94492023-12-04 10:42:06 +0800157 TEST_EQUAL(mbedtls_ssl_config_defaults(&conf,
158 MBEDTLS_SSL_IS_CLIENT,
159 MBEDTLS_SSL_TRANSPORT_STREAM,
160 MBEDTLS_SSL_PRESET_DEFAULT),
161 0);
Gilles Peskine449bd832023-01-11 14:50:10 +0100162 mbedtls_ssl_conf_dbg(&conf, string_debug, &buffer);
Jerry Yub19ccc32021-08-09 17:44:56 +0800163
Gilles Peskine449bd832023-01-11 14:50:10 +0100164 TEST_ASSERT(mbedtls_ssl_setup(&ssl, &conf) == 0);
Manuel Pégourié-Gonnardd5a9e412015-05-04 11:11:42 +0200165
Gilles Peskine449bd832023-01-11 14:50:10 +0100166 mbedtls_debug_set_threshold(threshold);
Paul Bakkerc73079a2014-04-25 16:34:30 +0200167
Gilles Peskine449bd832023-01-11 14:50:10 +0100168 mbedtls_debug_print_msg(&ssl, level, file, line,
169 "Text message, 2 == %d", 2);
Paul Bakkerc73079a2014-04-25 16:34:30 +0200170
Gilles Peskine449bd832023-01-11 14:50:10 +0100171 TEST_ASSERT(strcmp(buffer.buf, result_str) == 0);
Manuel Pégourié-Gonnardd5a9e412015-05-04 11:11:42 +0200172
173exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100174 mbedtls_ssl_free(&ssl);
175 mbedtls_ssl_config_free(&conf);
Valerio Setti84733902024-06-27 08:05:09 +0200176 MD_OR_USE_PSA_DONE();
Paul Bakkerc73079a2014-04-25 16:34:30 +0200177}
178/* END_CASE */
179
Bence Szépkúti12210522025-02-28 16:22:33 +0100180/* BEGIN_CASE depends_on:MBEDTLS_SSL_TLS_C */
Gilles Peskine449bd832023-01-11 14:50:10 +0100181void mbedtls_debug_print_ret(char *file, int line, char *text, int value,
182 char *result_str)
Paul Bakker57ffa552014-04-25 14:29:10 +0200183{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200184 mbedtls_ssl_context ssl;
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200185 mbedtls_ssl_config conf;
Paul Bakker57ffa552014-04-25 14:29:10 +0200186 struct buffer_data buffer;
187
Gilles Peskine449bd832023-01-11 14:50:10 +0100188 mbedtls_ssl_init(&ssl);
189 mbedtls_ssl_config_init(&conf);
Valerio Setti3a994b72024-07-03 16:58:10 +0200190 MD_OR_USE_PSA_INIT();
Gilles Peskine449bd832023-01-11 14:50:10 +0100191 memset(buffer.buf, 0, 2000);
Paul Bakker57ffa552014-04-25 14:29:10 +0200192 buffer.ptr = buffer.buf;
193
Yanray Wangaad94492023-12-04 10:42:06 +0800194 TEST_EQUAL(mbedtls_ssl_config_defaults(&conf,
195 MBEDTLS_SSL_IS_CLIENT,
196 MBEDTLS_SSL_TRANSPORT_STREAM,
197 MBEDTLS_SSL_PRESET_DEFAULT),
198 0);
Gilles Peskine449bd832023-01-11 14:50:10 +0100199 mbedtls_ssl_conf_dbg(&conf, string_debug, &buffer);
Paul Bakker57ffa552014-04-25 14:29:10 +0200200
Gilles Peskine449bd832023-01-11 14:50:10 +0100201 TEST_ASSERT(mbedtls_ssl_setup(&ssl, &conf) == 0);
Jerry Yub19ccc32021-08-09 17:44:56 +0800202
Gilles Peskine449bd832023-01-11 14:50:10 +0100203 mbedtls_debug_print_ret(&ssl, 0, file, line, text, value);
Paul Bakker57ffa552014-04-25 14:29:10 +0200204
Gilles Peskine449bd832023-01-11 14:50:10 +0100205 TEST_ASSERT(strcmp(buffer.buf, result_str) == 0);
Manuel Pégourié-Gonnardd5a9e412015-05-04 11:11:42 +0200206
207exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100208 mbedtls_ssl_free(&ssl);
209 mbedtls_ssl_config_free(&conf);
Valerio Setti84733902024-06-27 08:05:09 +0200210 MD_OR_USE_PSA_DONE();
Paul Bakker57ffa552014-04-25 14:29:10 +0200211}
212/* END_CASE */
213
Bence Szépkúti12210522025-02-28 16:22:33 +0100214/* BEGIN_CASE depends_on:MBEDTLS_SSL_TLS_C */
Gilles Peskine449bd832023-01-11 14:50:10 +0100215void mbedtls_debug_print_buf(char *file, int line, char *text,
216 data_t *data, char *result_str)
Paul Bakker57ffa552014-04-25 14:29:10 +0200217{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200218 mbedtls_ssl_context ssl;
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200219 mbedtls_ssl_config conf;
Paul Bakker57ffa552014-04-25 14:29:10 +0200220 struct buffer_data buffer;
Paul Bakker57ffa552014-04-25 14:29:10 +0200221
Gilles Peskine449bd832023-01-11 14:50:10 +0100222 mbedtls_ssl_init(&ssl);
223 mbedtls_ssl_config_init(&conf);
Valerio Setti3a994b72024-07-03 16:58:10 +0200224 MD_OR_USE_PSA_INIT();
Gilles Peskine449bd832023-01-11 14:50:10 +0100225 memset(buffer.buf, 0, 2000);
Paul Bakker57ffa552014-04-25 14:29:10 +0200226 buffer.ptr = buffer.buf;
227
Yanray Wangaad94492023-12-04 10:42:06 +0800228 TEST_EQUAL(mbedtls_ssl_config_defaults(&conf,
229 MBEDTLS_SSL_IS_CLIENT,
230 MBEDTLS_SSL_TRANSPORT_STREAM,
231 MBEDTLS_SSL_PRESET_DEFAULT),
232 0);
Gilles Peskine449bd832023-01-11 14:50:10 +0100233 mbedtls_ssl_conf_dbg(&conf, string_debug, &buffer);
Paul Bakker57ffa552014-04-25 14:29:10 +0200234
Gilles Peskine449bd832023-01-11 14:50:10 +0100235 TEST_ASSERT(mbedtls_ssl_setup(&ssl, &conf) == 0);
Jerry Yub19ccc32021-08-09 17:44:56 +0800236
Gilles Peskine449bd832023-01-11 14:50:10 +0100237 mbedtls_debug_print_buf(&ssl, 0, file, line, text, data->x, data->len);
Paul Bakker57ffa552014-04-25 14:29:10 +0200238
Gilles Peskine449bd832023-01-11 14:50:10 +0100239 TEST_ASSERT(strcmp(buffer.buf, result_str) == 0);
Manuel Pégourié-Gonnardd5a9e412015-05-04 11:11:42 +0200240
241exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100242 mbedtls_ssl_free(&ssl);
243 mbedtls_ssl_config_free(&conf);
Valerio Setti84733902024-06-27 08:05:09 +0200244 MD_OR_USE_PSA_DONE();
Paul Bakker57ffa552014-04-25 14:29:10 +0200245}
246/* END_CASE */
247
Bence Szépkúti12210522025-02-28 16:22:33 +0100248/* BEGIN_CASE depends_on:MBEDTLS_SSL_TLS_C:MBEDTLS_FS_IO:MBEDTLS_X509_CRT_PARSE_C:!MBEDTLS_X509_REMOVE_INFO */
Gilles Peskine449bd832023-01-11 14:50:10 +0100249void mbedtls_debug_print_crt(char *crt_file, char *file, int line,
250 char *prefix, char *result_str)
Paul Bakker1f761152010-02-18 18:16:31 +0000251{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200252 mbedtls_x509_crt crt;
253 mbedtls_ssl_context ssl;
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200254 mbedtls_ssl_config conf;
Paul Bakker1f761152010-02-18 18:16:31 +0000255 struct buffer_data buffer;
256
Gilles Peskine449bd832023-01-11 14:50:10 +0100257 mbedtls_ssl_init(&ssl);
258 mbedtls_ssl_config_init(&conf);
259 mbedtls_x509_crt_init(&crt);
Valerio Setti92c3f362023-05-17 15:36:44 +0200260 MD_OR_USE_PSA_INIT();
261
Gilles Peskine449bd832023-01-11 14:50:10 +0100262 memset(buffer.buf, 0, 2000);
Paul Bakker57ffa552014-04-25 14:29:10 +0200263 buffer.ptr = buffer.buf;
Paul Bakker1f761152010-02-18 18:16:31 +0000264
Yanray Wangaad94492023-12-04 10:42:06 +0800265 TEST_EQUAL(mbedtls_ssl_config_defaults(&conf,
266 MBEDTLS_SSL_IS_CLIENT,
267 MBEDTLS_SSL_TRANSPORT_STREAM,
268 MBEDTLS_SSL_PRESET_DEFAULT),
269 0);
Gilles Peskine449bd832023-01-11 14:50:10 +0100270 mbedtls_ssl_conf_dbg(&conf, string_debug, &buffer);
Paul Bakker1f761152010-02-18 18:16:31 +0000271
Gilles Peskine449bd832023-01-11 14:50:10 +0100272 TEST_ASSERT(mbedtls_ssl_setup(&ssl, &conf) == 0);
Jerry Yub19ccc32021-08-09 17:44:56 +0800273
Gilles Peskine449bd832023-01-11 14:50:10 +0100274 TEST_ASSERT(mbedtls_x509_crt_parse_file(&crt, crt_file) == 0);
275 mbedtls_debug_print_crt(&ssl, 0, file, line, prefix, &crt);
Paul Bakker1f761152010-02-18 18:16:31 +0000276
Gilles Peskine449bd832023-01-11 14:50:10 +0100277 TEST_ASSERT(strcmp(buffer.buf, result_str) == 0);
Paul Bakker58ef6ec2013-01-03 11:33:48 +0100278
Paul Bakkerbd51b262014-07-10 15:26:12 +0200279exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100280 mbedtls_x509_crt_free(&crt);
281 mbedtls_ssl_free(&ssl);
282 mbedtls_ssl_config_free(&conf);
Valerio Setti92c3f362023-05-17 15:36:44 +0200283 MD_OR_USE_PSA_DONE();
Paul Bakker1f761152010-02-18 18:16:31 +0000284}
Paul Bakker33b43f12013-08-20 11:48:36 +0200285/* END_CASE */
Paul Bakkerbe4e7dc2011-03-14 20:41:31 +0000286
Bence Szépkúti12210522025-02-28 16:22:33 +0100287/* BEGIN_CASE depends_on:MBEDTLS_SSL_TLS_C:MBEDTLS_BIGNUM_C */
Gilles Peskine449bd832023-01-11 14:50:10 +0100288void mbedtls_debug_print_mpi(char *value, char *file, int line,
289 char *prefix, char *result_str)
Paul Bakkerbe4e7dc2011-03-14 20:41:31 +0000290{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200291 mbedtls_ssl_context ssl;
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200292 mbedtls_ssl_config conf;
Paul Bakkerbe4e7dc2011-03-14 20:41:31 +0000293 struct buffer_data buffer;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200294 mbedtls_mpi val;
Paul Bakkerbe4e7dc2011-03-14 20:41:31 +0000295
Gilles Peskine449bd832023-01-11 14:50:10 +0100296 mbedtls_ssl_init(&ssl);
297 mbedtls_ssl_config_init(&conf);
298 mbedtls_mpi_init(&val);
Valerio Setti3a994b72024-07-03 16:58:10 +0200299 MD_OR_USE_PSA_INIT();
Gilles Peskine449bd832023-01-11 14:50:10 +0100300 memset(buffer.buf, 0, 2000);
Paul Bakker57ffa552014-04-25 14:29:10 +0200301 buffer.ptr = buffer.buf;
Paul Bakkerbe4e7dc2011-03-14 20:41:31 +0000302
Yanray Wangaad94492023-12-04 10:42:06 +0800303 TEST_EQUAL(mbedtls_ssl_config_defaults(&conf,
304 MBEDTLS_SSL_IS_CLIENT,
305 MBEDTLS_SSL_TRANSPORT_STREAM,
306 MBEDTLS_SSL_PRESET_DEFAULT),
307 0);
Gilles Peskine449bd832023-01-11 14:50:10 +0100308 mbedtls_ssl_conf_dbg(&conf, string_debug, &buffer);
Jerry Yub19ccc32021-08-09 17:44:56 +0800309
Gilles Peskine449bd832023-01-11 14:50:10 +0100310 TEST_ASSERT(mbedtls_ssl_setup(&ssl, &conf) == 0);
Manuel Pégourié-Gonnardd5a9e412015-05-04 11:11:42 +0200311
Gilles Peskine449bd832023-01-11 14:50:10 +0100312 TEST_ASSERT(mbedtls_test_read_mpi(&val, value) == 0);
Paul Bakkereaebbd52014-04-25 15:04:14 +0200313
Gilles Peskine449bd832023-01-11 14:50:10 +0100314 mbedtls_debug_print_mpi(&ssl, 0, file, line, prefix, &val);
Paul Bakkerbe4e7dc2011-03-14 20:41:31 +0000315
Gilles Peskine449bd832023-01-11 14:50:10 +0100316 TEST_ASSERT(strcmp(buffer.buf, result_str) == 0);
Paul Bakker6c591fa2011-05-05 11:49:20 +0000317
Paul Bakkerbd51b262014-07-10 15:26:12 +0200318exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100319 mbedtls_mpi_free(&val);
320 mbedtls_ssl_free(&ssl);
321 mbedtls_ssl_config_free(&conf);
Valerio Setti84733902024-06-27 08:05:09 +0200322 MD_OR_USE_PSA_DONE();
Paul Bakkerbe4e7dc2011-03-14 20:41:31 +0000323}
Paul Bakker33b43f12013-08-20 11:48:36 +0200324/* END_CASE */