-/** Snapshotting calloc implementation for user programs. */
-void * calloc( size_t num, size_t size ){
- if (mySpace) {
- void *tmp=mspace_calloc( mySpace, num, size );
+/** @brief Snapshotting calloc implementation for user programs */
+void * calloc(size_t num, size_t size)
+{
+ if (user_snapshot_space) {
+ void *tmp = mspace_calloc(user_snapshot_space, num, size);