| Current Path : /home/beeson/Otter-Lambda/yyy/ |
| Current File : //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);