int main ( ) { char * ptr; int size = 4096; ptr = alloc_workbuf(size); free_workbuf(ptr, size); }
int main() { char *area; size_t allocz=306535006208LLU; area=alloc_workbuf(allocz); while(1) { sleep(10); } free_workbuf(area,allocz); return 0; }