| Current Path : /usr/home/beeson/Otter-Lambda/yyy/ |
| Current File : /usr/home/beeson/Otter-Lambda/yyy/freeptr.h |
MEXPORT_PROVER void GlobalFreePointer(void *lp); MEXPORT_PROVER void *GlobalReallocate(void *, unsigned long); MEXPORT_PROVER void *GlobalAllocate(unsigned long);