/** Bootstrap allocation. Problem is that the dynamic linker calls
* require calloc to work and calloc requires the dynamic linker to
/** Bootstrap allocation. Problem is that the dynamic linker calls
* require calloc to work and calloc requires the dynamic linker to
}
/** @brief Snapshotting realloc implementation for user programs */
void *realloc(void *ptr, size_t size)
{
}
/** @brief Snapshotting realloc implementation for user programs */
void *realloc(void *ptr, size_t size)
{
/** @brief Snapshotting calloc implementation for user programs */
void * calloc(size_t num, size_t size)
{
/** @brief Snapshotting calloc implementation for user programs */
void * calloc(size_t num, size_t size)
{