checker_slave/source/soft/mystdlib.h

#ifndef mystdlib_h__
#define mystdlib_h__

#include "stdint.h"


		 
void mem_init(void);

int mem_perused(void);

void tempptr_init(void);

void *tmalloc(size_t size);

void *tappend(void *p,void *del);









#endif