decompiled_code:
int __cdecl __noreturn main(int argc, const char **argv, const char **envp)
{
unsigned __int64 v3; // r14
__int64 v4; // rbx
__int64 v5; // rbx
int v6; // er12
__int64 i; // rbx
int v8; // er12
unsigned __int64 v9; // rbx
unsigned __int64 v10; // rbx
__int64 v11; // r15
unsigned __int64 v12; // r13
unsigned __int64 v13; // r14
void *v14; // rbx
int v15; // ebx
int v16; // edi
__int64 v17; // r12
unsigned __int64 v18; // rbp
unsigned __int64 v19; // rbx
__int64 v20; // [rsp+0h] [rbp-58h]

diminuto_unittest_setlogmask();
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_test();
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
diminuto_unittest_test();
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
diminuto_unittest_test();
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
v3 = diminuto_memory_pagesize();
v4 = diminuto_memory_pagesize();
if ( (diminuto_log_mask & 2) != 0 )
diminuto_log_log();
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
if ( !v3 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( v3 != v4 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( !(unsigned int)diminuto_memory_is_power() )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
diminuto_unittest_test();
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
v20 = diminuto_memory_linesize();
v5 = diminuto_memory_linesize();
if ( (diminuto_log_mask & 2) != 0 )
diminuto_log_log();
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
if ( !v20 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( v20 != v5 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( !(unsigned int)diminuto_memory_is_power() )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
diminuto_unittest_test();
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
if ( (unsigned int)diminuto_memory_is_power() )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( diminuto_memory_power() != 1 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( !(unsigned int)diminuto_memory_is_power() )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
v6 = 64;
for ( i = 1LL; ; i *= 2LL )
{
if ( !(unsigned int)diminuto_memory_is_power() )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( diminuto_memory_power() != i )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( !(unsigned int)diminuto_memory_is_power() )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( !--v6 )
{
v8 = 30;
v9 = 3LL;
while ( 1 )
{
if ( (unsigned int)diminuto_memory_is_power() )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( diminuto_memory_power() <= v9 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( !(unsigned int)diminuto_memory_is_power() )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
v9 = 2 * v9 + 1;
if ( !--v8 )
{
diminuto_memory_power();
v10 = 0LL;
while ( 1 )
{
if ( !(unsigned int)diminuto_memory_is_power() )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( v3 < ++v10 )
{
v11 = 2 * v20;
v12 = 1LL;
v13 = 2 * v3;
if ( v13 )
{
while ( 1 )
{
v17 = 1LL;
if ( v11 )
{
while ( 1 )
{
v18 = diminuto_memory_power();
v19 = diminuto_memory_alignment(v12, v18);
if ( v19 < v12 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( v13 < v19 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( v19 % v18 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( v11 == v17 )
break;
++v17;
}
}
if ( v13 == v12 )
break;
++v12;
}
}
v14 = (void *)diminuto_memory_aligned();
if ( !v14 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
free(v14);
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
v15 = diminuto_unittest_errors;
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
v16 = 255;
if ( v15 <= 255 )
v16 = v15;
exit(v16);
}
if ( diminuto_memory_power() < v10 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
}
}
}
}
}
}

canonical_decompiled_code:
int __cdecl __noreturn main(int argc, const char **argv, const char **envp)
{
unsigned __int64 v3; // r14
__int64 v4; // rbx
__int64 v5; // rbx
int v6; // er12
__int64 i; // rbx
int v8; // er12
unsigned __int64 v9; // rbx
unsigned __int64 v10; // rbx
__int64 v11; // r15
unsigned __int64 v12; // r13
unsigned __int64 v13; // r14
void *v14; // rbx
int v15; // ebx
int v16; // edi
__int64 v17; // r12
unsigned __int64 v18; // rbp
unsigned __int64 v19; // rbx
__int64 v20; // [rsp+0h] [rbp-58h]

diminuto_unittest_setlogmask();
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_test();
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
diminuto_unittest_test();
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
diminuto_unittest_test();
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
v3 = diminuto_memory_pagesize();
v4 = diminuto_memory_pagesize();
if ( (diminuto_log_mask & 2) != 0 )
diminuto_log_log();
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
if ( !v3 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( v3 != v4 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( !(unsigned int)diminuto_memory_is_power() )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
diminuto_unittest_test();
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
v20 = diminuto_memory_linesize();
v5 = diminuto_memory_linesize();
if ( (diminuto_log_mask & 2) != 0 )
diminuto_log_log();
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
if ( !v20 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( v20 != v5 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( !(unsigned int)diminuto_memory_is_power() )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
diminuto_unittest_test();
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
if ( (unsigned int)diminuto_memory_is_power() )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( diminuto_memory_power() != 1 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( !(unsigned int)diminuto_memory_is_power() )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
v6 = 64;
for ( i = 1LL; ; i *= 2LL )
{
if ( !(unsigned int)diminuto_memory_is_power() )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( diminuto_memory_power() != i )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( !(unsigned int)diminuto_memory_is_power() )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( !--v6 )
{
v8 = 30;
v9 = 3LL;
while ( 1 )
{
if ( (unsigned int)diminuto_memory_is_power() )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( diminuto_memory_power() <= v9 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( !(unsigned int)diminuto_memory_is_power() )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
v9 = 2 * v9 + 1;
if ( !--v8 )
{
diminuto_memory_power();
v10 = 0LL;
while ( 1 )
{
if ( !(unsigned int)diminuto_memory_is_power() )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( v3 < ++v10 )
{
v11 = 2 * v20;
v12 = 1LL;
v13 = 2 * v3;
if ( v13 )
{
while ( 1 )
{
v17 = 1LL;
if ( v11 )
{
while ( 1 )
{
v18 = diminuto_memory_power();
v19 = func7(v12, v18);
if ( v19 < v12 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( v13 < v19 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( v19 % v18 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
if ( v11 == v17 )
break;
++v17;
}
}
if ( v13 == v12 )
break;
++v12;
}
}
v14 = (void *)diminuto_memory_aligned();
if ( !v14 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
free(v14);
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
v15 = diminuto_unittest_errors;
if ( (diminuto_log_mask & 4) != 0 )
diminuto_log_log();
diminuto_unittest_flush();
v16 = 255;
if ( v15 <= 255 )
v16 = v15;
exit(v16);
}
if ( diminuto_memory_power() < v10 )
{
__errno_location();
diminuto_unittest_error();
if ( (diminuto_log_mask & 0x10) != 0 )
diminuto_log_log();
diminuto_stacktrace();
diminuto_unittest_flush();
diminuto_core_fatal();
}
}
}
}
}
}
}

original_code:
int main(void)
{
    ssize_t pagesize;
    ssize_t linesize;
    diminuto_well_t * wellp;
    object_t * pa[10];
    size_t ii;
    size_t jj;
    int kk;
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(sizeof(object_t) == (sizeof(int) * 3)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "38" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "sizeof(object_t) == (sizeof(int) * 3)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    pagesize = diminuto_memory_pagesize(0);
    linesize = diminuto_memory_linesize(0);
    wellp = diminuto_well_init(sizeof(object_t), (sizeof(pa) / sizeof(pa[0])), sizeof(((object_t *)0)->a), 0, 0);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(wellp != (diminuto_well_t *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "46" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "wellp != (diminuto_well_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!((((intptr_t)wellp) & (pagesize - 1)) == 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "47" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "(((intptr_t)wellp) & (pagesize - 1)) == 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    for (kk = 0; kk < 4; ++kk) {
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_isfull(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "51" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_isfull(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        for (ii = 0; ii < (sizeof(pa) / sizeof(pa[0])); ++ii) {
            pa[ii] = (object_t *)diminuto_well_alloc(wellp);
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(pa[ii] != (object_t *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "54" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "pa[ii] != (object_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(!diminuto_well_isfull(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "55" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "!diminuto_well_isfull(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        }
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_isempty(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "57" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_isempty(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!((((intptr_t)pa[0]) & (pagesize - 1)) == 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "59" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "(((intptr_t)pa[0]) & (pagesize - 1)) == 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        for (ii = 0; ii < ((sizeof(pa) / sizeof(pa[0])) - 1); ++ii) {
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(((char *)pa[ii + 1] - (char *)pa[ii]) == sizeof(object_t)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "62" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "((char *)pa[ii + 1] - (char *)pa[ii]) == sizeof(object_t)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        }
        for (ii = 0; ii < (sizeof(pa) / sizeof(pa[0])); ++ii) {
            for (jj = 0; jj < (sizeof(pa) / sizeof(pa[0])); ++jj) {
                if (jj != ii) {
                    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(pa[ii] != pa[jj]); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "68" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "pa[ii] != pa[jj]") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
                }
            }
        }
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_alloc(wellp) == (void *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "73" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_alloc(wellp) == (void *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_isempty(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "75" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_isempty(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        for (ii = 0; ii < (sizeof(pa) / sizeof(pa[0])); ++ii) {
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_free(wellp, pa[ii]) == 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "77" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_free(wellp, pa[ii]) == 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(!diminuto_well_isempty(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "78" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "!diminuto_well_isempty(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        }
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_isfull(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "80" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_isfull(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_free(wellp, (void *)0) < 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "82" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_free(wellp, (void *)0) < 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    }
    diminuto_well_fini(wellp);
    wellp = diminuto_well_init(sizeof(object_t), (sizeof(pa) / sizeof(pa[0])), sizeof(((object_t *)0)->a), pagesize, linesize);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(wellp != (diminuto_well_t *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "91" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "wellp != (diminuto_well_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!((((intptr_t)wellp) & (pagesize - 1)) == 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "92" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "(((intptr_t)wellp) & (pagesize - 1)) == 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    for (kk = 0; kk < 4; ++kk) {
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_isfull(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "96" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_isfull(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        for (ii = 0; ii < (sizeof(pa) / sizeof(pa[0])); ++ii) {
            pa[ii] = (object_t *)diminuto_well_alloc(wellp);
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(pa[ii] != (object_t *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "99" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "pa[ii] != (object_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(!diminuto_well_isfull(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "100" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "!diminuto_well_isfull(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        }
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_isempty(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "102" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_isempty(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!((((intptr_t)pa[0]) & (pagesize - 1)) == 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "104" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "(((intptr_t)pa[0]) & (pagesize - 1)) == 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        for (ii = 0; ii < ((sizeof(pa) / sizeof(pa[0])) - 1); ++ii) {
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(((char *)pa[ii + 1] - (char *)pa[ii]) == sizeof(object_t)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "107" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "((char *)pa[ii + 1] - (char *)pa[ii]) == sizeof(object_t)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        }
        for (ii = 0; ii < (sizeof(pa) / sizeof(pa[0])); ++ii) {
            for (jj = 0; jj < (sizeof(pa) / sizeof(pa[0])); ++jj) {
                if (jj != ii) {
                    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(pa[ii] != pa[jj]); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "113" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "pa[ii] != pa[jj]") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
                }
            }
        }
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_alloc(wellp) == (void *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "118" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_alloc(wellp) == (void *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_isempty(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "120" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_isempty(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        for (ii = 0; ii < (sizeof(pa) / sizeof(pa[0])); ++ii) {
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_free(wellp, pa[ii]) == 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "122" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_free(wellp, pa[ii]) == 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(!diminuto_well_isempty(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "123" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "!diminuto_well_isempty(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        }
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_isfull(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "125" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_isfull(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_free(wellp, (void *)0) < 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "127" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_free(wellp, (void *)0) < 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    }
    diminuto_well_fini(wellp);
    wellp = diminuto_well_init(sizeof(object_t), 2, 0, pagesize, linesize);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(wellp != (diminuto_well_t *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "136" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "wellp != (diminuto_well_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!((((intptr_t)wellp) & (pagesize - 1)) == 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "137" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "(((intptr_t)wellp) & (pagesize - 1)) == 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    pa[0] = (object_t *)diminuto_well_alloc(wellp);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(pa[0] != (object_t *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "140" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "pa[0] != (object_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    pa[1] = (object_t *)diminuto_well_alloc(wellp);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(pa[1] != (object_t *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "143" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "pa[1] != (object_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(((char *)pa[1] - (char *)pa[0]) == linesize); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "145" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "((char *)pa[1] - (char *)pa[0]) == linesize") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    diminuto_well_fini(wellp);
    wellp = diminuto_well_init(sizeof(object_t), 2, 8, pagesize, linesize);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(wellp != (diminuto_well_t *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "152" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "wellp != (diminuto_well_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!((((intptr_t)wellp) & (pagesize - 1)) == 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "153" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "(((intptr_t)wellp) & (pagesize - 1)) == 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    pa[0] = (object_t *)diminuto_well_alloc(wellp);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(pa[0] != (object_t *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "156" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "pa[0] != (object_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    pa[1] = (object_t *)diminuto_well_alloc(wellp);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(pa[1] != (object_t *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "159" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "pa[1] != (object_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(((char *)pa[1] - (char *)pa[0]) == diminuto_memory_alignment(sizeof(object_t), 8)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "161" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "((char *)pa[1] - (char *)pa[0]) == diminuto_memory_alignment(sizeof(object_t), 8)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    diminuto_well_fini(wellp);
    do { int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_errors; ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_NOTICE)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_NOTICE, "tst/unittest-well.c" "@" "165" ": " "EXIT: tests=%d errors=%d %s " "\n", diminuto_unittest_number, diminuto_unittest_count, (diminuto_unittest_count == 0) ? "SUCCESS." : "FAILURE!") : ((void)0)); diminuto_unittest_flush(); exit(diminuto_unittest_count > DIMINUTO_UNITTEST_MAXIMUM ? DIMINUTO_UNITTEST_MAXIMUM : diminuto_unittest_count); } while (0);
}

canonical_original_code:
int main()
{
    long pagesize;
    long linesize;
    struct DiminutoList *wellp;
    struct Object *pa[10];
    unsigned long ii;
    unsigned long jj;
    int kk;
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(sizeof(object_t) == (sizeof(int) * 3)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "38" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "sizeof(object_t) == (sizeof(int) * 3)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    pagesize = diminuto_memory_pagesize(0);
    linesize = diminuto_memory_linesize(0);
    wellp = diminuto_well_init(sizeof(object_t), (sizeof(pa) / sizeof(pa[0])), sizeof(((struct Object *)0)->a), 0, 0);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(wellp != (struct DiminutoList *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "46" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "wellp != (diminuto_well_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!((((long)wellp) & (pagesize - 1)) == 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "47" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "(((intptr_t)wellp) & (pagesize - 1)) == 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    for (kk = 0; kk < 4; ++kk) {
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_isfull(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "51" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_isfull(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        for (ii = 0; ii < (sizeof(pa) / sizeof(pa[0])); ++ii) {
            pa[ii] = (struct Object *)diminuto_well_alloc(wellp);
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(pa[ii] != (struct Object *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "54" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "pa[ii] != (object_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(!diminuto_well_isfull(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "55" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "!diminuto_well_isfull(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        }
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_isempty(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "57" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_isempty(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!((((long)pa[0]) & (pagesize - 1)) == 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "59" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "(((intptr_t)pa[0]) & (pagesize - 1)) == 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        for (ii = 0; ii < ((sizeof(pa) / sizeof(pa[0])) - 1); ++ii) {
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(((char *)pa[ii + 1] - (char *)pa[ii]) == sizeof(object_t)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "62" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "((char *)pa[ii + 1] - (char *)pa[ii]) == sizeof(object_t)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        }
        for (ii = 0; ii < (sizeof(pa) / sizeof(pa[0])); ++ii) {
            for (jj = 0; jj < (sizeof(pa) / sizeof(pa[0])); ++jj) {
                if (jj != ii) {
                    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(pa[ii] != pa[jj]); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "68" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "pa[ii] != pa[jj]") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
                }
            }
        }
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_alloc(wellp) == (void *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "73" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_alloc(wellp) == (void *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_isempty(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "75" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_isempty(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        for (ii = 0; ii < (sizeof(pa) / sizeof(pa[0])); ++ii) {
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_free(wellp, pa[ii]) == 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "77" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_free(wellp, pa[ii]) == 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(!diminuto_well_isempty(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "78" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "!diminuto_well_isempty(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        }
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_isfull(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "80" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_isfull(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_free(wellp, (void *)0) < 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "82" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_free(wellp, (void *)0) < 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    }
    diminuto_well_fini(wellp);
    wellp = diminuto_well_init(sizeof(object_t), (sizeof(pa) / sizeof(pa[0])), sizeof(((struct Object *)0)->a), pagesize, linesize);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(wellp != (struct DiminutoList *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "91" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "wellp != (diminuto_well_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!((((long)wellp) & (pagesize - 1)) == 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "92" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "(((intptr_t)wellp) & (pagesize - 1)) == 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    for (kk = 0; kk < 4; ++kk) {
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_isfull(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "96" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_isfull(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        for (ii = 0; ii < (sizeof(pa) / sizeof(pa[0])); ++ii) {
            pa[ii] = (struct Object *)diminuto_well_alloc(wellp);
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(pa[ii] != (struct Object *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "99" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "pa[ii] != (object_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(!diminuto_well_isfull(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "100" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "!diminuto_well_isfull(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        }
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_isempty(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "102" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_isempty(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!((((long)pa[0]) & (pagesize - 1)) == 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "104" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "(((intptr_t)pa[0]) & (pagesize - 1)) == 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        for (ii = 0; ii < ((sizeof(pa) / sizeof(pa[0])) - 1); ++ii) {
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(((char *)pa[ii + 1] - (char *)pa[ii]) == sizeof(object_t)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "107" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "((char *)pa[ii + 1] - (char *)pa[ii]) == sizeof(object_t)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        }
        for (ii = 0; ii < (sizeof(pa) / sizeof(pa[0])); ++ii) {
            for (jj = 0; jj < (sizeof(pa) / sizeof(pa[0])); ++jj) {
                if (jj != ii) {
                    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(pa[ii] != pa[jj]); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "113" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "pa[ii] != pa[jj]") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
                }
            }
        }
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_alloc(wellp) == (void *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "118" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_alloc(wellp) == (void *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_isempty(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "120" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_isempty(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        for (ii = 0; ii < (sizeof(pa) / sizeof(pa[0])); ++ii) {
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_free(wellp, pa[ii]) == 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "122" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_free(wellp, pa[ii]) == 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
            do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(!diminuto_well_isempty(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "123" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "!diminuto_well_isempty(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        }
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_isfull(wellp)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "125" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_isfull(wellp)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
        do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(diminuto_well_free(wellp, (void *)0) < 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "127" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "diminuto_well_free(wellp, (void *)0) < 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    }
    diminuto_well_fini(wellp);
    wellp = diminuto_well_init(sizeof(object_t), 2, 0, pagesize, linesize);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(wellp != (struct DiminutoList *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "136" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "wellp != (diminuto_well_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!((((long)wellp) & (pagesize - 1)) == 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "137" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "(((intptr_t)wellp) & (pagesize - 1)) == 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    pa[0] = (struct Object *)diminuto_well_alloc(wellp);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(pa[0] != (struct Object *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "140" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "pa[0] != (object_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    pa[1] = (struct Object *)diminuto_well_alloc(wellp);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(pa[1] != (struct Object *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "143" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "pa[1] != (object_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(((char *)pa[1] - (char *)pa[0]) == linesize); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "145" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "((char *)pa[1] - (char *)pa[0]) == linesize") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    diminuto_well_fini(wellp);
    wellp = diminuto_well_init(sizeof(object_t), 2, 8, pagesize, linesize);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(wellp != (struct DiminutoList *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "152" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "wellp != (diminuto_well_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!((((long)wellp) & (pagesize - 1)) == 0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "153" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "(((intptr_t)wellp) & (pagesize - 1)) == 0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    pa[0] = (struct Object *)diminuto_well_alloc(wellp);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(pa[0] != (struct Object *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "156" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "pa[0] != (object_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    pa[1] = (struct Object *)diminuto_well_alloc(wellp);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(pa[1] != (struct Object *)0); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "159" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "pa[1] != (object_t *)0") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    do { int diminuto_unittest_condition; diminuto_unittest_condition = !!(((char *)pa[1] - (char *)pa[0]) == diminuto_memory_alignment(sizeof(object_t), 8)); if (!diminuto_unittest_condition) { int diminuto_unittest_errno; int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_errno = (*__errno_location ()); diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_error(); ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_ERROR)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_ERROR, "tst/unittest-well.c" "@" "161" ": " "ASSERT: tests=%d errors=%d errno=%d !(%s)!\n", diminuto_unittest_number, diminuto_unittest_count, diminuto_unittest_errno, "((char *)pa[1] - (char *)pa[0]) == diminuto_memory_alignment(sizeof(object_t), 8)") : ((void)0)); diminuto_stacktrace(); diminuto_unittest_flush(); diminuto_core_fatal(); } } while (0);
    diminuto_well_fini(wellp);
    do { int diminuto_unittest_number; int diminuto_unittest_count; diminuto_unittest_number = diminuto_unittest_tests; diminuto_unittest_count = diminuto_unittest_errors; ((((diminuto_log_mask) & (DIMINUTO_LOG_MASK_NOTICE)) != 0) ? diminuto_log_log(DIMINUTO_LOG_PRIORITY_NOTICE, "tst/unittest-well.c" "@" "165" ": " "EXIT: tests=%d errors=%d %s " "\n", diminuto_unittest_number, diminuto_unittest_count, (diminuto_unittest_count == 0) ? "SUCCESS." : "FAILURE!") : ((void)0)); diminuto_unittest_flush(); exit(diminuto_unittest_count > DIMINUTO_UNITTEST_MAXIMUM ? DIMINUTO_UNITTEST_MAXIMUM : diminuto_unittest_count); } while (0);
}

variable_types: pagesize long

variable_types: linesize long

variable_types: struct DiminutoList { struct DiminutoList *next; struct DiminutoList *prev; struct DiminutoList *root; void *data; } *

variable_types: struct Object { int a; int b; int c; } *[10]

variable_types:
ii
unsigned long

variable_types:
jj
unsigned long

variable_types: kk int


repo: coverclock/com-diag-diminuto

decompiled_code:
__int64 diminuto_frequency()
{
return 1000000000LL;
}

original_code:
static inline diminuto_sticks_t diminuto_frequency(void)
{
    return (1000000000LL);
}

canonical_original_code:
static inline long diminuto_frequency()
{
    return (1000000000LL);
}

return_type: long


decompiled_code:
__int64 diminuto_timer_periodic()
{
return diminuto_timer_setitimer();
}

canonical_decompiled_code:
__int64 func11()
{
return diminuto_timer_setitimer();
}

original_code:
static inline diminuto_sticks_t diminuto_timer_periodic(diminuto_ticks_t ticks)
{
    return diminuto_timer_setitimer(ticks, !0);
}

canonical_original_code:
static inline long diminuto_timer_periodic(unsigned long ticks)
{
    return diminuto_timer_setitimer(ticks, !0);
}

variable_types:
ticks
unsigned long


decompiled_code:
__int64 diminuto_delay_frequency()
{
return 1000000000LL;
}

original_code:
static inline diminuto_sticks_t diminuto_delay_frequency(void)
{
    return (1000000000LL);
}

canonical_original_code:
static inline long diminuto_delay_frequency()
{
    return (1000000000LL);
}


decompiled_code:
__int64 diminuto_number()
{
return diminuto_number_unsigned();
}

canonical_decompiled_code:
__int64 func1()
{
return diminuto_number_unsigned();
}

original_code:
static inline const char * diminuto_number(const char * s, diminuto_unsigned_t * p) {
    return diminuto_number_unsigned(s, p);
}

canonical_original_code:
static inline char *diminuto_number(char *s, unsigned long *p) {
    return diminuto_number_unsigned(s, p);
}

variable_types:
s
char *

variable_types:
p
unsigned long *

return_type: char *


decompiled_code:
__int64 diminuto_ipc_endpoint()
{
return diminuto_ipc_endpoint_prefer();
}

canonical_decompiled_code:
__int64 func7()
{
return diminuto_ipc_endpoint_prefer();
}

original_code:
static inline int diminuto_ipc_endpoint(const char * string, diminuto_ipc_endpoint_t * endpoint) {
    return diminuto_ipc_endpoint_prefer(string, endpoint, DIMINUTO_IPC_PREFERENCE_NONE);
}

canonical_original_code:
static inline int diminuto_ipc_endpoint(char *string, struct DiminutoIpcEndpoint *endpoint) {
    return diminuto_ipc_endpoint_prefer(string, endpoint, DIMINUTO_IPC_PREFERENCE_NONE);
}

variable_types:
string
char *

variable_types: struct DiminutoIpcEndpoint { enum DiminutoIpcType { DIMINUTO_IPC_TYPE_UNSPECIFIED=0, DIMINUTO_IPC_TYPE_IPV4=2, DIMINUTO_IPC_TYPE_IPV6=10, DIMINUTO_IPC_TYPE_LOCAL=1 } type; unsigned int ipv4; struct diminuto_ipv6_t { unsigned short u16[-1]; } ipv6; unsigned short tcp; unsigned short udp; char local[-1]; } *

return_type: int

user_defined_types: struct DiminutoIpcEndpoint { enum DiminutoIpcType type; unsigned int ipv4; struct diminuto_ipv6_t ipv6; unsigned short tcp; unsigned short udp; char local[-1]; }


decompiled_code:
__int64 diminuto_littleendian()
{
return 1LL;
}

canonical_decompiled_code:
__int64 func7()
{
return 1LL;
}

original_code:
static inline int diminuto_littleendian(void) {
    static const diminuto_endianess_t endianess = { !0 };
    return endianess.bytes[0];
}

canonical_original_code:
static inline int diminuto_littleendian() {
    static union DiminutoEndianess endianess = { !0 };
    return endianess.bytes[0];
}

variable_types: union DiminutoEndianess { int word; char bytes[-1]; }


repo: coylz/Siouxd

decompiled_code:
__int64 __fastcall read_configFile(const char *a1, __int64 a2)
{
FILE *v2; // rax
FILE *v3; // rbx

v2 = fopen(a1, "r");
if ( !v2 )
return 0xFFFFFFFFLL;
v3 = v2;
_isoc99_fscanf(v2, "ip_address %s ", a2);
_isoc99_fscanf(v3, "port %d ", a2 + 16);
_isoc99_fscanf(v3, "web_root_dir %s ", a2 + 20);
_isoc99_fscanf(v3, "log_file %s ", a2 + 84);
_isoc99_fscanf(v3, "gps_software %s ", a2 + 148);
_isoc99_fscanf(v3, "frequency %d ", a2 + 212);
fclose(v3);
return 0LL;
}

canonical_decompiled_code:
__int64 __fastcall func1(const char *a1, __int64 a2)
{
FILE *v2; // rax
FILE *v3; // rbx

v2 = fopen(a1, "r");
if ( !v2 )
return 0xFFFFFFFFLL;
v3 = v2;
_isoc99_fscanf(v2, "ip_address %s ", a2);
_isoc99_fscanf(v3, "port %d ", a2 + 16);
_isoc99_fscanf(v3, "web_root_dir %s ", a2 + 20);
_isoc99_fscanf(v3, "log_file %s ", a2 + 84);
_isoc99_fscanf(v3, "gps_software %s ", a2 + 148);
_isoc99_fscanf(v3, "frequency %d ", a2 + 212);
fclose(v3);
return 0LL;
}

original_code:
void read_configFile(char *namefile){
}

canonical_original_code:
void read_configFile(char *namefile){
}

variable_types:
namefile
char *

return_type: void


decompiled_code:
__int64 __fastcall get_HTTPRequest(__int64 a1, char *a2, char *a3)
{
char *v4; // rbp
char *v5; // rbx
bool v6; // zf
unsigned int v7; // ebp
FILE *v8; // rbx
__int64 v9; // rax
__int64 v11[2]; // [rsp+0h] [rbp-10428h] BYREF
char s[65519]; // [rsp+10h] [rbp-10418h] BYREF
char filename[8]; // [rsp+10000h] [rbp-428h] BYREF
__int64 v14; // [rsp+10008h] [rbp-420h]
char v15[1008]; // [rsp+10010h] [rbp-418h] BYREF

v4 = strtok(a2, " ");
v5 = strtok(0LL, " ");
*(_QWORD *)filename = 0LL;
v14 = 0LL;
memset(v15, 0, sizeof(v15));
v11[0] = 0LL;
v11[1] = 0LL;
memset(s, 0, sizeof(s));
if ( v4 && v5 && (v6 = strcmp(v4, "GET") == 0, v7 = !v6, v6) )
{
sprintf(a2, "GET %s", v5);
if ( !strcmp(v5, "/") )
sprintf(filename, "%s/index.html", (const char *)(a1 + 20));
else
sprintf(filename, "%s%s", (const char *)(a1 + 20), v5);
v8 = fopen(filename, "r");
if ( v8 )
{
while ( fgets(filename, 1024, v8) )
strcat((char *)v11, filename);
v9 = ftell(v8);
sprintf(a3, "HTTP/1.0 200 OK\r\nContent-Type: text/html\r\nContent-Length: %d\r\n\r\n%s", v9, (const char *)v11);
fclose(v8);
}
else
{
strcpy(a3, "HTTP/1.0 404 Not Found\r\nContent-Type: text/html\r\nContent-Length: 9\r\n\r\nNot Found");
v7 = -2;
}
}
else
{
strcpy(a3, "HTTP/1.0 400 Bad Request\r\nContent-Type: text/html\r\nContent-Length: 11\r\n\r\nBad Request");
v7 = -1;
}
return v7;
}

canonical_decompiled_code:
__int64 __fastcall func2(__int64 a1, char *a2, char *a3)
{
char *v4; // rbp
char *v5; // rbx
bool v6; // zf
unsigned int v7; // ebp
FILE *v8; // rbx
__int64 v9; // rax
__int64 v11[2]; // [rsp+0h] [rbp-10428h] BYREF
char s[65519]; // [rsp+10h] [rbp-10418h] BYREF
char filename[8]; // [rsp+10000h] [rbp-428h] BYREF
__int64 v14; // [rsp+10008h] [rbp-420h]
char v15[1008]; // [rsp+10010h] [rbp-418h] BYREF

v4 = strtok(a2, " ");
v5 = strtok(0LL, " ");
*(_QWORD *)filename = 0LL;
v14 = 0LL;
memset(v15, 0, sizeof(v15));
v11[0] = 0LL;
v11[1] = 0LL;
memset(s, 0, sizeof(s));
if ( v4 && v5 && (v6 = strcmp(v4, "GET") == 0, v7 = !v6, v6) )
{
sprintf(a2, "GET %s", v5);
if ( !strcmp(v5, "/") )
sprintf(filename, "%s/index.html", (const char *)(a1 + 20));
else
sprintf(filename, "%s%s", (const char *)(a1 + 20), v5);
v8 = fopen(filename, "r");
if ( v8 )
{
while ( fgets(filename, 1024, v8) )
strcat((char *)v11, filename);
v9 = ftell(v8);
sprintf(a3, "HTTP/1.0 200 OK\r\nContent-Type: text/html\r\nContent-Length: %d\r\n\r\n%s", v9, (const char *)v11);
fclose(v8);
}
else
{
strcpy(a3, "HTTP/1.0 404 Not Found\r\nContent-Type: text/html\r\nContent-Length: 9\r\n\r\nNot Found");
v7 = -2;
}
}
else
{
strcpy(a3, "HTTP/1.0 400 Bad Request\r\nContent-Type: text/html\r\nContent-Length: 11\r\n\r\nBad Request");
v7 = -1;
}
return v7;
}

original_code:
void get_HTTPRequest(char * request){
  int fd = 0;
  int nb = 0;
  char *buffer;
  int nbCharLu = 0;
  int initStat = 0 ;
  char nb_caractere = ((void *)0);
  char request_cmd = ((void *)0);
  char request_htm = ((void *)0);
  request_cmd = (char *) strtok (request," ");
  request_htm = (char *) strtok (((void *)0)," ");
}

canonical_original_code:
void get_HTTPRequest(char *request){
  int fd = 0;
  int nb = 0;
  char *buffer;
  int nbCharLu = 0;
  int initStat = 0;
  char nb_caractere = ((void *)0);
  char request_cmd = ((void *)0);
  char request_htm = ((void *)0);
  request_cmd = (char *) strtok (request," ");
  request_htm = (char *) strtok (((void *)0)," ");
}

variable_types:
request
char *

variable_types: fd int

variable_types: nb int

variable_types:
buffer
char *

variable_types: nbCharLu int

variable_types: initStat int


decompiled_code:
__int64 __fastcall traitement_client(__int64 a1)
{
__int64 v1; // r12
unsigned int v2; // ebx
int v3; // ebp
size_t v4; // rax
__int64 v6[32]; // [rsp+0h] [rbp-20118h] BYREF
char v7[8]; // [rsp+100h] [rbp-20018h] BYREF
__int64 v8; // [rsp+108h] [rbp-20010h]
char v9[65519]; // [rsp+110h] [rbp-20008h] BYREF
__int64 buf[2]; // [rsp+10100h] [rbp-10018h] BYREF
char s[65519]; // [rsp+10110h] [rbp-10008h] BYREF

v1 = *(_QWORD *)a1;
v2 = *(_DWORD *)(a1 + 8);
buf[0] = 0LL;
buf[1] = 0LL;
memset(s, 0, sizeof(s));
*(_QWORD *)v7 = 0LL;
v8 = 0LL;
memset(v9, 0, sizeof(v9));
v6[0] = 0LL;
v6[1] = 0LL;
v6[2] = 0LL;
v6[3] = 0LL;
v6[4] = 0LL;
v6[5] = 0LL;
v6[6] = 0LL;
v6[7] = 0LL;
v6[8] = 0LL;
v6[9] = 0LL;
v6[10] = 0LL;
v6[11] = 0LL;
v6[12] = 0LL;
v6[13] = 0LL;
v6[14] = 0LL;
v6[15] = 0LL;
v6[16] = 0LL;
v6[17] = 0LL;
v6[18] = 0LL;
v6[19] = 0LL;
v6[20] = 0LL;
v6[21] = 0LL;
v6[22] = 0LL;
v6[23] = 0LL;
v6[24] = 0LL;
v6[25] = 0LL;
v6[26] = 0LL;
v6[27] = 0LL;
v6[28] = 0LL;
v6[29] = 0LL;
v6[30] = 0LL;
v6[31] = 0LL;
if ( (unsigned int)recv(v2, buf, 0xFFFFuLL, 0) == -1 )
{
perror(0LL);
fwrite("Erreur lors de la reception d'une requete client !", 1uLL, 0x32uLL, stderr);
close(v2);
}
else
{
v3 = get_HTTPRequest(v1, (char *)buf, v7);
sprintf((char *)v6, "requete \"%s\" de la part du client sur la socket %d", (const char *)buf, v2);
write_log(v1, (const char *)v6);
if ( v3 == -1 )
{
write_log(v1, "requete invalide");
}
else if ( v3 == -2 )
{
write_log(v1, aFichierNonTrou);
}
v4 = strlen(v7);
if ( (unsigned int)send(v2, v7, v4, 0) == -1 )
{
perror(0LL);
fwrite(&unk_970, 1uLL, 0x33uLL, stderr);
}
close(v2);
}
return 0LL;
}

original_code:
void* traitement_client(void* void_config_and_socket)
{
    param_traitement_client* config_and_socket = (param_traitement_client*)void_config_and_socket;
    const config_list* config = config_and_socket->config;
    const int cli_sock = config_and_socket->socket_client;
    char requete[65535] = {0};
    char reponse[65535] = {0};
    char buffer[256] = {0};
    int ret = 0;
    ret = recv(cli_sock, requete, sizeof(requete), 0);
    if (ret == -1)
    {
        perror(((void *)0));
        fprintf(stderr, "Erreur lors de la reception d'une requete client !");
        close(cli_sock);
        return ((void *)0);
    }
    ret = get_HTTPRequest(config, requete, reponse);
    sprintf(buffer, "requete \"%s\" de la part du client sur la socket %d", requete, cli_sock);
    write_log(config, buffer);
    if (ret == -1)
        write_log(config, "requete invalide");
    else if (ret == -2)
        write_log(config, "fichier non trouvé");
    ret = send(cli_sock, reponse, strlen(reponse), 0);
    if (ret == -1)
    {
        perror(((void *)0));
        fprintf(stderr, "Erreur lors de l'envoi d'une reponse à un client !");
    }
    close(cli_sock);
    return ((void *)0);
}

canonical_original_code:
void *traitement_client(void *void_config_and_socket)
{
    struct param_traitement_client *config_and_socket = (param_traitement_client*)void_config_and_socket;
    struct config_list *config = config_and_socket->config;
    int cli_sock = config_and_socket->socket_client;
    char requete[65535] = {0};
    char reponse[65535] = {0};
    char buffer[256] = {0};
    int ret = 0;
    ret = recv(cli_sock, requete, sizeof(requete), 0);
    if (ret == -1)
    {
        perror(((void *)0));
        fprintf(stderr, "Erreur lors de la reception d'une requete client !");
        close(cli_sock);
        return ((void *)0);
    }
    ret = get_HTTPRequest(config, requete, reponse);
    sprintf(buffer, "requete \"%s\" de la part du client sur la socket %d", requete, cli_sock);
    write_log(config, buffer);
    if (ret == -1)
        write_log(config, "requete invalide");
    else if (ret == -2)
        write_log(config, "fichier non trouvé");
    ret = send(cli_sock, reponse, strlen(reponse), 0);
    if (ret == -1)
    {
        perror(((void *)0));
        fprintf(stderr, "Erreur lors de l'envoi d'une reponse à un client !");
    }
    close(cli_sock);
    return ((void *)0);
}

variable_types: struct param_traitement_client { struct config_list { char ip_address[16]; int port; char web_root_dir[64]; char log_file[64]; char gps_software[64]; int frequency; } *config; int socket_client; } *

variable_types:
requete
char [65535]

variable_types:
reponse
char [65535]

variable_types:
buffer
char [256]

variable_types: ret int

return_type: void *

user_defined_types: struct param_traitement_client { struct config_list *config; int socket_client; }


fermer

decompiled_code:
void __fastcall fermer(unsigned int a1)
{
printf("Reception du signal d'arret %d : le serveur se fermera a la prochaine connexion d'un client.\n", a1);
global_stop = 1;
}

canonical_decompiled_code:
void __fastcall func1(unsigned int a1)
{
printf("Reception du signal d'arret %d : le serveur se fermera a la prochaine connexion d'un client.\n", a1);
global_stop = 1;
}

original_code:
void fermer(int param)
{
    printf("Reception du signal d'arret %d : le serveur se fermera a la prochaine connexion d'un client.\n", param);
    global_stop = 1;
}

variable_types: param int