-/* Copyright (c) 2006, 2007, 2009, 2010. The SimGrid Team.
+/* Copyright (c) 2006-2007, 2009-2010, 2012-2014. The SimGrid Team.
XBT_PUBLIC(void *) xbt_mallocator_get(xbt_mallocator_t mallocator);
XBT_PUBLIC(void) xbt_mallocator_release(xbt_mallocator_t mallocator,
void *object);
XBT_PUBLIC(void *) xbt_mallocator_get(xbt_mallocator_t mallocator);
XBT_PUBLIC(void) xbt_mallocator_release(xbt_mallocator_t mallocator,
void *object);