Add softrandommap and --alloc-size options