; Data space size to allocate from the memory manager
data_space_size = 32768