For my work I have changed some of the ICMs used to specify the system allocator. Unfortunately, these changes are not reflected in C-source based implementations of SaC modules, as we do not propagate config.h details. This leads to address-space conflicts and other strangeness.
Its not clear to me how to fix this, though likely we should just include config.h with the SaC compiler install and update the Stdlib build system to find this.