// 12 august 2018

extern void *pkguiAlloc(size_t);