/* iso_alloc big_double_free.c
 * Copyright 2023 - chris.rohlf@gmail.com */

#include "iso_alloc.h"
#include "iso_alloc_internal.h"

int main(int argc, char *argv[]) {
    void *p = iso_alloc(SMALL_SIZE_MAX + 1);
    iso_free(p);
    void *z = iso_alloc(SMALL_SIZE_MAX + 1);
    iso_free(p);
    iso_free(z);
    return OK;
}