void do_tests() {
#ifndef __NO_BUFFER_TYPE__
    int i = random(100000);
    
    ASSERT(sizeof(allocate_buffer(i)) == i);
    ASSERT(catch(allocate_buffer(-20)));
#endif
}