void* virtmemReserve(size_t size);
void  virtmemFree(void* addr, size_t size);