#include "xbt/module.h"
#include <xbt/mmalloc.h>
#include "src/smpi/private.h"
-#include <alloca.h>
#include "src/xbt/mmalloc/mmprivate.h"
#include <mc/mc.h>
#include "src/mc/mc_snapshot.h"
-#include "src/mc/mc_object_info.h"
#include "src/mc/mc_mmu.h"
#include "src/mc/mc_unw.h"
#include "src/mc/mc_protocol.h"