/// -*- tab-width: 4; Mode: C++; c-basic-offset: 4; indent-tabs-mode: nil -*-
unsigned memcheck_available_memory(void);
void memcheck_init(void);
void memcheck_update_stackptr(void);