__inline void *getmem(int32_t sz) 
{
  return malloc(sz);
}