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;
}
