/* handle<->ptr conversion. */

#ifndef __HANDLE_H__
#define __HANDLE_H__

int newhandle(void *ptr);
void deletehandle(int handle);

int handletoptr(int   h,   void **ptr);
int ptrtohandle(void *ptr, int   *h);

#endif