//
//
//

 char *dmem_alloc(long *);
 FLAG dmem_free(char **);
 long dmem_size();