#include <stdint.h>

int shim_brk(void *addr);
void *shim_sbrk(intptr_t increment);