#include "axl.h"

int _start(void)
{
    axl_init();

    void* fds = axl_malloc(83);
    
    int* f = axl_malloc(sizeof(int));
    *f = 4;
    axl_free(fds);
    axl_free(f);
    
    (void)fds;
    (void)f;

    while(true){}

    return 0;
}