#ifndef SYS_ALLOC_H #define SYS_ALLOC_H void setHeaders (void *ptr, size_t sz); void *sys_alloc(size_t size); #endif /* SYS_ALLOC_H */